Acta Polytechnica doi:10.14311/AP.2017.57.0379 Acta Polytechnica 57(6):379–384, 2017 © Czech Technical University in Prague, 2017 available online at http://ojs.cvut.cz/ojs/index.php/ap LIE ALGEBRA REPRESENTATIONS AND RIGGED HILBERT SPACES: THE SO(2) CASE Enrico Celeghinia, b, Manuel Gadellaa, Mariano A del Olmoa, ∗ a Departamento de Física Teórica and IMUVA, Universidad de Valladolid, 47011 Valladolid, Spain b Dipartimento di Fisica, Università di Firenze and INFN-Sezione di Firenze, I50019 Sesto Fiorentino, Firenze, Italy ∗ corresponding author: marianoantonio.olmo@uva.es Abstract. It is well known that related with the representations of the Lie group SO(2) we find a discrete basis as well a continuous one. In this paper we revisited this situation under the light of Rigged Hilbert spaces, which are the suitable framework to deal with both discrete and continuous bases in the same context and in relation with physical applications. Keywords: Lie groups representations; special functions; rigged Hilbert spaces. 1. Introduction In the last years we have been involved in a program of revision of the connection between special func- tions (in particular, classical orthogonal polynomials), Lie groups, differential equations and physical spaces. We have obtained the ladder algebraic structure for different orthogonal polynomials, like Hermite, Leg- endre, Laguerre [1], associated Laguerre polynomials, Spherical Harmonics, etc. [2, 3]. In all cases, we have obtained a symmetry group. The corresponding orthogonal polynomial is associated to a particular representation of its Lie group. For instance, for the associated Laguerre polynomials and the Spherical Harmonics, we obtain the symmetry group SO(3, 2) and in both cases they support a unitary irreducible representation (UIR) with quadratic Casimir −5/4. Both are bases of square integrable functions defined on (−1, 1) ×Z and on the sphere S2, respectively. In any case we get discrete and continuous bases. On the other hand, the Rigged Hilbert space (RHS) is a suitable framework for a description of quantum states, when the use of both discrete bases, i.e., com- plete orthonormal sets, and generalized continuous bases like those used in the Dirac formalism are nec- essary [4]–[15]. As mentioned above, this is a typical situation arisen when we deal with special functions, which hold discrete labels and depend on continuous variables. We have analysed this situation for the Hermite and Laguerre functions motivated also by possible applications on signal theory in recent papers [11, 12]. Moreover, the RHS fit very well with Lie groups [16] and also with semigroups, see [17] and references therein. In this paper, we continue the study of the relation between Lie algebras, special functions and RHS. Here we propose a revision of the elementary case associated to the Lie group SO(2). Since the representations of SO(2) admit continuous and discrete bases [13] it is necessary a RHS for a mathematical rigorous description. The relation with the Fourier series and its interest in quantum physics make that this case provides a relevant example of these mathematical objects. 2. Rigged Hilbert Spaces There are several reasons to assert that Hilbert spaces are not sufficient for a thoroughly formulation of Quan- tum Mechanics even within the non-relativistic con- text. We can mention, for instance, the Dirac formu- lation [18] where operators with continuous spectrum play a crucial role (see also [10] and references therein) and their eigenvectors are not in the Hilbert space of square integrable wave functions. Another example is related with the proper definition of Gamow vectors [9], which are widely used in calculations including unstable quantum systems and are non-normalizable. We can also refer to formulations of time asymmetry in Quantum Mechanics that may require the use of tools more general than Hilbert spaces [19]. The proper framework that includes naturally the Hilbert space and its features, which are widely used in Quantum Mechanics, is the RHS. The Rigged Hilbert spaces were introduced by Gelfand and collaborators [4] in connection with the spectral theory of self-adjoint operators. They also proved, together with Maurin [14], the nuclear spec- tral theorem [10, 15]. The RHS formulation of Quan- tum Mechanics was introduced by Bohm and Roberts around 1965 [5, 8]. A Rigged Hilbert Space (also called Gelfand triplet) is a triplet of spaces Φ ⊂H⊂ Φ×, with H an infinite dimensional separable Hilbert space, Φ (test vectors space) a dense subspace of H endowed with its own topology, and Φ× the dual /antidual space of Φ. 379 http://dx.doi.org/10.14311/AP.2017.57.0379 http://ojs.cvut.cz/ojs/index.php/ap Enrico Celeghini, Manuel Gadella, Mariano A del Olmo Acta Polytechnica The topology considered on Φ is finer (contains more open sets) than the topology that Φ has as subspace of H, and Φ× is equipped with a topology compatible with the dual pair (Φ, Φ×) [20], usually the weak topology. One consequence of the topology of Φ [10, 21] is that all sequences which converge on Φ, also converge on H, the converse being not true. The difference between topologies gives rise that the dual space of Φ, Φ×, is bigger than H, which is self-dual. Here, the dual Φ× of Φ, i.e., any F ∈ Φ× is a con- tinuous linear mapping from Φ into C. The linearity or antilinearity of F ∈ Φ× means, respectively, that for any pair of vectors ψ,ϕ ∈ Φ and any pair α,β ∈ C we have 〈F|αψ + βϕ〉 = α〈F|ψ〉 + β 〈F|ϕ〉, 〈F|αψ + βϕ〉 = α∗〈F|ψ〉 + β∗ 〈F |ϕ〉, where we have followed the Dirac bra-ket notation and the star denotes complex conjugation. A crucial property to be taken under consideration is that if A is a densely defined operator on H, such that Φ be a subspace of its domain and that Aϕ ∈ Φ for all ϕ ∈ Φ, we say that Φ reduces A or that Φ is invariant under the action of A, (i.e., AΦ ⊂ Φ). In this case, A may be extended unambiguously to the dual Φ× by making use of the duality formula 〈A×F |ϕ〉 := 〈F|Aϕ〉 ∀ϕ ∈ Φ, ∀F ∈ Φ×. (1) If A is continuous on Φ, then A× is continuous on Φ×. The topology on Φ is given by an infinite count- able set of norms {‖·‖∞n=1}. A linear operator A on Φ is continuous if and only if for each norm ‖·‖n there is a Kn > 0 and a finite sequence of norms ‖·‖p1,‖·‖p2, . . . ,‖·‖pr such that for any ϕ ∈ Φ, one has [22] ‖Aϕ‖n ≤ Kn ( ‖ϕ‖p1 + ‖ϕ‖p2 + · · · + ‖ϕ‖pr ) . (2) The same result applies to check the continuity of any linear or antilinear mapping F : Φ 7−→ C. In this case, the norm ‖Aϕ‖p should be replaced by the modulus |F(ϕ)|. 3. A paradigmatic case: RHS for SO(2) As mentioned before, we have considered the most elementary situation provided by SO(2), where we have two RHS serving as support of unitary equiva- lent representations of SO(2). One of these RHS is a concrete RHS constructed with functions or gener- alised functions and the other one is an abstract RHS. A mapping of the test vectors of the abstract RHS gives the test functions of the concrete one. Also we have to adjust the topologies so that the elements of the Lie algebra be continuous operators on both test spaces and their corresponding duals. Let us remember that SO(2) is the group of rota- tions on the Euclidean plane. It is a one-dimensional abelian Lie group, parametrized by φ ∈ [0, 2π). The elements R(φ) of SO(2) satisfy the product law R(φ1) ·R(φ2) = R(φ1 + φ2) (mod 2π). Here, we are considering two equivalent families of UIR of SO(2): one of them supported by the Hilbert space L2[0, 2π] (via the regular representation, that contains once all the UIR, each one related to an integer number) and another set of UIR (also labelled by Z) supported by an abstract infinite dimensional separable Hilbert space H. 3.1. UIR supported by the HS L2[0, 2π] We consider the UIR characterised by the unitary operator on L2[0, 2π] Um(φ) := e−imφ ∀φ ∈ [0, 2π), m ∈ Z (fixed). (3) An orthonormal basis for L2[0, 2π] is given by the sequence of functions φm labelled by m ∈ Z φm ≡ 1 √ 2π e−imφ, m ∈ Z. Thus, any Lebesgue square integrable function f(φ) of L2[0, 2π] can be written as f(φ) = ∞∑ m=−∞ fm φm, (4) with fm = 1 √ 2π ∫ 2π 0 eimφ f(φ) dφ, (5) under the condition that ∞∑ m=−∞ |fm|2 = ∫ 2π 0 |f(φ)|2 dφ < +∞. Note that the complex numbers fm are the Fourier coefficients of f(φ). The functions Um = e−imφ satisfy the following orthogonality and completeness relations: 1 2π ∫ 2π 0 U†m(φ)Un(φ) dφ = δm,n, 1 2π ∞∑ m=−∞ U†m(φ)Um(φ ′) = δ(φ−φ′). 3.2. UIR on an infinite-D separable HS Equivalently, we may construct another set of UIR’s of SO(2) labelled by Z and supported on an abstract infinite dimensional separable Hilbert space H. Let {|m〉}m∈Z be an orthonormal basis of H. There is a unique natural unitary mapping S such that H S−→ L2[0, 2π], |m〉 7−→ S|m〉 = φm, ∀m ∈ Z. 380 vol. 57 no. 6/2017 Lie Algebra Representations and Rigged Hilbert Spaces: The SO(2) Case Let us consider the subspace Φ of H of vectors |f〉 = ∞∑ m=−∞ am |m〉 ∈H, am ∈ C, (6) such that 〈f|f〉p ≡‖f‖2p := ∞∑ m=−∞ |am|2|m + i|2p < ∞, (7) for any p = 0, 1, 2, . . . The imaginary unit i has been introduced to have |m + i| 6= 0 for all m ∈ Z. Since Φ contains all finite linear combinations of the basis vectors |m〉 is dense on H. We endow Φ with the metrizable topology generated by the norms ‖f‖p, (p = 0, 1, 2, . . . ). In this way we have constructed a RHS: Φ ⊂H⊂ Φ×. Considering that the unitary mapping S transports the topologies, we get two RHS Φ ⊂ H ⊂ Φ×, SΦ ⊂L2[0, 2π] ⊂ (SΦ)×. such that Φ and H have the discrete basis {|m〉}m∈Z and SΦ and L2[0, 2π] have its equivalent discrete ba- sis {φm}m∈Z. Now, we may define continuous bases in both RHS as follows. Since these two RHS are unitarily equivalent, it is enough to construct the con- tinuous basis on the abstract RHS and to induce the equivalent one in the other RHS. Let us consider the abstract RHS Φ ⊂ H ⊂ Φ×. Since |m〉 ∈H we can consider 〈m| ∈H× = H. Then, for any φ ∈ [0, 2π), we can define a ket |φ〉 such that 〈m|φ〉 := 1 √ 2π eimφ. From the duality relation 〈φ|m〉 = 〈m|φ〉∗ and for any |f〉 = ∑∞ m=−∞am |m〉 ∈ Φ we get 〈φ|f〉 = ∞∑ m=−∞ am 〈φ|m〉 = 1 √ 2π ∞∑ m=−∞ ame −imφ, where am = fm as in (4). The action of 〈φ| on Φ, 〈φ|f〉, is well defined since the following series is absolutely convergent ∞∑ m=−∞ |am| = ∞∑ m=−∞ |am||m + i| |m + i| ≤ √√√√ ∞∑ m=−∞ |am|2|m + i|2 √√√√ ∞∑ m=−∞ 1 |m + i|2 . (8) Note that both series on the right converge: the first one because it verifies (7) for p = 1, and it is obvious for the second series. Since |〈φ|f〉| ≤ C‖f‖1 with ‖f‖1 = √√√√ ∞∑ m=−∞ |am|2 |m + i|2, C = √√√√ ∞∑ m=−∞ 1 |m + i|2 , then 〈φ| ∈ Φ×. Note that 〈φ|f〉 = 〈f|φ〉∗ and since 〈φ| is a linear map on Φ then |φ〉 is antilinear. On the other hand, {|φ〉}φ∈[0,2π), is a continuous basis. In fact, if we apply the map S to an arbi- trary |f〉 ∈ Φ as in (6), we obtain that S|f〉 ∈ SΦ ⊂ L2[0, 2π] and S|f〉 = ∞∑ m=−∞ am S|m〉 = ∞∑ m=−∞ am e−imφ √ 2π = 〈φ|f〉 = f(φ). (9) If |f〉, |g〉 ∈ Φ, then f(φ) = S|f〉 and g(φ) = S|g〉 belong to (SΦ) ⊂ L2[0, 2π]. Thus, and due to the unitarity of S, we get 〈f|g〉 = ∫ 2π 0 f∗(φ)g(φ) dφ = ∫ 2π 0 〈f|φ〉〈φ|g〉dφ, (10) and thus I = ∫ 2π 0 |φ〉〈φ|dφ. (11) Applying this identity to |f〉 ∈ Φ, we have I|f〉 = ∫ 2π 0 |φ〉〈φ|f〉dφ = ∫ 2π 0 f(φ) |φ〉dφ. (12) This gives a span of |f〉 in terms of |φ〉 with coefficients f(φ) for all φ ∈ [0, 2π), which shows that {|φ〉} is a continuous basis on Φ, although its elements are not in Φ but instead in Φ×. Since 〈φ| acts on Φ only (not on all H), then for an arbitrary |g〉 ∈ Φ we have 〈g|If〉 = ∫ 2π 0 〈g|φ〉〈φ|f〉dφ = 〈g|f〉. Because of the definition of RHS to any |f〉 ∈ Φ corresponds a 〈f| ∈ Φ× and the action of 〈f| on any |g〉 ∈ Φ is given by the scalar product 〈f|g〉 (10) from L2[0, 2π]. Thus, I is the canonical injection I : Φ 7−→ Φ×, and it is continuous. Consequently, f(φ) = 〈φ|f〉 = ∫ 2π 0 〈φ|φ′〉〈φ′|f〉dφ′, and then, 〈φ|φ′〉 = δ(φ−φ′). (13) Therefore, the set {|φ〉} satisfies the relations of or- thogonality (13) and completeness (11) that allow us, once more, to write (12) and to show that {|φ〉} is a continuous basis. However the above formulae are not rigurously correct for elements of H. Effec- tively, formula (10), and hence all formulae derived thereof including (12), is a consequence of the Gelfand– Maurin theorem [4, 16]. Since this theorem is only valid for |f〉, |g〉 ∈ Φ, we conclude that (12) is only valid for |f〉 ∈ Φ from a strictly rigorous point of view. However, we may write formal expressions like |h〉 = ∫ 2π 0 φ |φ〉dφ, 381 Enrico Celeghini, Manuel Gadella, Mariano A del Olmo Acta Polytechnica for the function h(φ) = φ ∈ L2[0, 2π], i.e. |h〉 ∈ H. But this expression is meaningless from the point of view of the Gelfand-Maurin theorem, since |h〉 /∈ Φ, as one easily checks in the following. Taking into account formulae (4) and (5) we have hm = 1 √ 2π ∫ 2π 0 φeimφ dφ =   i √ 2π 1 m , m 6= 0, √ 2π, m = 0, then, ∑ m |hm|2 = 13π 6 < ∞. However, ∑ m |hm| 2|m + i|2p diverges for p ≥ 1. This proves that h(φ) ≡ φ is not in SΦ and, hence, |h〉 /∈ Φ. There are some formal relations between both bases, {|m〉} and {|φ〉}. For instance, replacing |f〉 by |m〉 in (12) we have that |m〉 = ∫ 2π 0 〈φ|m〉 |φ〉dφ = 1 √ 2π ∫ 2π 0 e−imφ |φ〉dφ. Since {|m〉} is a basis in H, the following completeness relation holds ∞∑ m=−∞ |m〉〈m| = I, (14) where I is the identity on H (and also on Φ). Do not confuse this identity with I previously defined (11) that is the canonical injection from Φ to Φ×. Because |m〉 ∈ Φ, we may apply to it any element of Φ× so that I becomes a well defined identity on the dual Φ× 〈φ|I =〈φ|= ∞∑ m=−∞ 〈φ|m〉〈m|= 1 √ 2π ∞∑ m=−∞ e−imφ 〈m|, which gives the second formal identity (14). Never- theless and due to the absolute convergence of the series 〈φ|f〉 = ∞∑ m=−∞ am 〈φ|m〉 = 1 √ 2π ∞∑ m=−∞ ame −imφ, it is easy to prove that 〈φ|I converges in the weak topology on Φ×. 3.3. Action of so(2) on the RHS The Hilbert space L2[0, 2π] also supports the regular representation of SO(2), R(θ), defined by [R(θ)f](φ) := f(φ−θ) (mod 2π), ∀f ∈ L2[0, 2π], for any θ ∈ [0, 2π). The unitary map S : H 7−→ L2[0, 2π] also allows us to transport R to an equivalent representation R supported on H by R(θ) = S−1R(θ)S, such that R(θ)Φ = Φ, ∀θ ∈ [0, 2π). Since R(θ) is unitary on L2[0, 2π] for any value of θ then R(θ) is also unitary on H due to the unitarity of S. Unitary operators leaving Φ invariant can be ex- tended to Φ× by the duality formula (1), i.e., 〈R(θ)F|f〉 = 〈F|R(−θ)f〉, ∀|f〉 ∈ Φ, ∀F ∈ Φ×. Therefore, 〈R(θ)φ|f〉 = [R(−θ)f](φ) = f(φ + θ) = 〈φ + θ|f〉. Combining both expressions and dropping the arbi- trary |f〉 ∈ Φ we arrive to 〈R(θ)φ| ≡ 〈φ|R(θ) = 〈φ + θ| (mod 2π), which is a rigorous expression in Φ×. In fact, let |f〉 ∈ Φ as in (6). Then, we have R(θ) ∞∑ m=−∞ am |m〉 = S−1 ∞∑ m=−∞ amSR(θ)S−1 S|m〉 = S−1 ∞∑ m=−∞ amR(θ) 1 √ 2π e−imφ = S−1 ∞∑ m=−∞ am 1 √ 2π e−im(φ−θ) = S−1 ∞∑ m=−∞ ame imθ 1√ 2π e−imφ = ∞∑ m=−∞ ame imθ |m〉 ∈ Φ. Hence, we see that R(θ)Φ ⊂ Φ and since R−1(θ) = R(−θ) then Φ ⊂ R(−θ)Φ. So, Φ = R(θ)Φ, ∀θ. The UIR, Um, on H is given in terms of the Um, defined in (3), by Um(φ) := S−1Um(φ) S, ∀m ∈ Z, ∀φ ∈ [0, 2π). Let J be the infinitesimal generator associated to this representation, i.e. Um(φ) = e−iJφ. Since Um is unitary then J is self-adjoint. Its action on the vectors |m〉 is J|m〉 = m |m〉. Hence for any |f〉 ∈ Φ as in (6), we have that J|f〉 = ∞∑ m=−∞ amm |m〉. From the set of norms ‖Jf‖2p, p = 0, 1, 2, . . . , that we have defined in (7), we obtain the following inequality ∞∑ m=−∞ |am|2m2|m + i|2p ≤ ∞∑ m=−∞ |am|2|m + i|2p+2, which shows that JΦ ⊂ Φ. Also, this inequality may be also read as ‖Jf‖2p ≤‖f‖p+1, ∀|f〉 ∈ Φ, ∀p ∈ N. 382 vol. 57 no. 6/2017 Lie Algebra Representations and Rigged Hilbert Spaces: The SO(2) Case Thus, we have proved that J is continuous on Φ. Moreover, since the self-adjoint operator J verifies JΦ ⊂ Φ, it can be extended to Φ× using the duality form, i.e., 〈JF |f〉 = 〈F|Jf〉, ∀|f〉 ∈ Φ, ∀F ∈ Φ×. Furthermore, since J is continuous on Φ, this exten- sion is weakly (with the weak topology) continuous on Φ×. In fact, since the series I|φ〉 = |φ〉 = ∞∑ m=−∞ |m〉〈m|φ〉 = 1 √ 2π ∞∑ m=−∞ eimφ |m〉 is weakly convergent, then J|φ〉 = 1 √ 2π ∞∑ m=−∞ eimφ J|m〉 = 1 √ 2π ∞∑ m=−∞ eimφm |m〉 = −iDφ |φ〉, where the operator Dφ is defined as follows: for any |f〉 in Φ we know that S|f〉 = f(φ) ∈ (SΦ) as in (9). Then, i d dφ f(φ) = i d dφ ∞∑ m=−∞ am e−imφ √ 2π = ∞∑ m=−∞ amm e−imφ √ 2π . (15) We easily conclude that the operator id/dφ is contin- uous on SΦ with the topology transported by S from Φ (norms on SΦ look like exactly as the norms on Φ). Hence, −iDφ := S−1 i d dφ S. This definition implies that −iDφ is continuous on Φ. Moreover, it is self-adjoint on H, so that it can be extended to a weakly continuous operator on Φ× as the last identity in (15) shows. Therefore on Φ× J ≡−iDφ. 4. Conclusions We have construct two RHS that support the UIR of the Lie group SO(2), Φ ⊂ H ⊂ Φ× and SΦ ⊂ L2[0, 2π] ⊂ (SΦ)×. The first one is related with the discrete basis {|m〉} and in some sense is an abstract RHS, but the second one, related with the continuous basis {|φ〉}, is obtained by means of a unitary map S : |m〉 → e−imφ/ √ 2π that allows to translate the topologies of the first RHS as well as all its properties to the second one. Another interesting point to stress is the fact that RHS, from one side, and Lie algebras and Universal Enveloping Algebras, from the other, are closely re- lated. This means that starting from a Lie algebra we can construct a RHS that supports it in such a way that generators and universal enveloping elements can be represented by operators in the RHS avoiding domain difficulties [5]. Vice versa a RHS contains it- self the symmetries that allow to construct its related algebraical structures. Acknowledgements Partial financial support is acknowledged to the Spanish Junta de Castilla y León and FEDER (Project VA057U16) and MINECO (Project MTM2014-57129-C2-1-P). References [1] E. Celeghini and M.A. del Olmo. Coherent orthogonal polynomials, Ann. Phys. (NY) 335, 78–85 (2013). http://dx.doi.org/10.1016/j.aop.2013.04.017 [2] E. Celeghini and M.A. del Olmo. Algebraic special functions and SO(3, 2), Ann. Phys. (NY) 333, 90–103 (2013). http://dx.doi.org/10.1016/j.aop.2013.02.010 [3] E. Celeghini, M. A. del Olmo and M.A. Velasco. Lie groups, algebraic special functions and Jacobi polynomials, J. Phys.: Conf. Ser. 597, 012023 (2015). doi:10.1088/1742-6596/597/1/012023 [4] I.M. Gelfand and N.Ya. Vilenkin. Generalized Functions: Applications to Harmonic Analysis. Academic, New York, 1964. [5] J.E. Roberts. Rigged Hilbert spaces in quantum mechanics, Comm. Math. Phys., 3, 98–119 (1966). https://doi.org/10.1007/BF01645448 [6] J.P. Antoine. Dirac Formalism and Symmetry Problems in Quantum Mechanics. I. General Dirac Formalism, J. Math. Phys., 10, 53–69 (1969). https://doi.org/10.1063/1.1664761 [7] O. Melsheimer. Rigged Hilbert space formalism as an extended mathematical formalism for quantum systems. I. General theory, J. Math. Phys., 15, 902–916 (1974). https://doi.org/10.1063/1.1666769 [8] A. Bohm. The Rigged Hilbert Space and Quantum Mechanics, Springer Lecture Notes in Physics, 78. Springer, Berlin, 1978. [9] A. Bohm and M. Gadella. Dirac Kets, Gamow vectors and Gelfand Triplets, Springer Lecture Notes in Physics, 348, Springer, Berlin, 1989. [10] M. Gadella and F. Gómez. A Unified Mathematical Formalism for the Dirac Formulation of Quantum Mechanics, Found. Phys., 32, 815–869 (2002). https://doi.org/10.1023/A:1016069311589 [11] E. Celeghini and M.A. del Olmo. Quantum physics and signal processing in rigged Hilbert spaces by means of special functions, Lie algebras and Fourier-like transforms J. Phys.: Conf. Ser. 597, 012022 (2015). https://doi.org/10.1088/1742-6596/597/1/012022 [12] E. Celeghini, M. Gadella and M.A. del Olmo. Applications of rigged Hilbert spaces in quantum mechanics and signal processing. J. Math. Phys. 57 (2016) 072105. http://dx.doi.org/10.1063/1.4958725 [13] Wu-Ki Tung. Group Theory in Physics, chap. 6, World Scientific, Singapore, 1985. 383 Enrico Celeghini, Manuel Gadella, Mariano A del Olmo Acta Polytechnica [14] K. Maurin. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys., 7 (1959) 471. [15] M. Gadella and F. Gómez. Eigenfunction Expansions and Transformation Theory, Acta Appl. Math., 109, 721–742 (2010). https://doi.org/10.1007/s10440-008-9342-z [16] K. Maurin. General Eigenfunction Expansions and Unitary Representations of Topological Groups, Monografie Matematyczne, 48, PWN-Polish Scientific Publishers, Warsaw, 1968. [17] M. Gadella, F. Gómez-Cubillo, L. Rodríguez and S. Wickramasekara. Point-form dynamics of quasistable states, J. Math. Phys., 54, 072303 (2013). https://doi.org/10.1063/1.4811563 [18] P.A.M. Dirac. The principles of Quantum Mechanics, Clarendon Press, Oxford, 1958. [19] A.R. Bohm, M. Gadella and P. Kielanowski. Time asymmetric quantum mechanics, SIGMA, 7, 086 (2011). https://doi.org/10.3842/SIGMA.2011.086 [20] J. Horvath, Topological Vector Spaces and Distributions, Addison-Wesley, Reading Ma., 1966. [21] A. Pietsch, Nuclear Topological Vector Spaces, Springer, Berlin, 1972. [22] M. Reed and B. Simon, Functional Analysis, Academic, New York, 1972. 384 Acta Polytechnica 57(6):379–384, 2017 1 Introduction 2 Rigged Hilbert Spaces 3 A paradigmatic case: RHS for SO(2) 3.1 UIR supported by the HS L2[0,2] 3.2 UIR on an infinite-D separable HS 3.3 Action of so(2) on the RHS 4 Conclusions Acknowledgements References