• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1101-1129
• /
• 2012

We study the geometry of the images of 1-dimensional homogeneous submersions for each of the model spaces X of the eight 3-dimensional geometries. In particular, We shall calculate the group of isometries and the curvatures of the base surfaces for each of the model spaces of 3-dimensional geometries, with respect to every closed subgroup of the isometries of X acting freely.

• Honam Mathematical Journal
• /
• v.30 no.1
• /
• pp.115-118
• /
• 2008

A bounded linear operator T on a complex separable Hilbert space H is called a two-isometry, if $T^{*2}T^2-2T^*T+1=0$. In this paper it is shown that every two-isometry is not supercyclic. This generalizes a result due to Ansari and Bourdon.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.4
• /
• pp.623-633
• /
• 2009

The classical Mazur-Ulam theorem states that every surjective isometry between real normed spaces is affine. In this paper, we study 2-isometries in probabilistic 2-normed spaces.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.747-761
• /
• 2017

We study multiplication operators on the weighted Banach spaces of an infinite tree. We characterize the bounded and the compact operators, as well as determine the operator norm. In addition, we determine the spectrum of the bounded multiplication operators and characterize the isometries. Finally, we study the multiplication operators between the weighted Banach spaces and the Lipschitz space by characterizing the bounded and the compact operators, determining estimates on the operator norm, and showing there are no isometries.

• The Pure and Applied Mathematics
• /
• v.16 no.3
• /
• pp.277-281
• /
• 2009

A Hilbert space operator T is a 2-isometry if $T^{{\ast}2}T^2\;-\;2T^{\ast}T+I$ = O. We shall study some properties of 2-isometries, in particular spectra of a non-unitary 2-isometry and give an example. Also we prove with alternate argument that the Weyl's theorem holds for 2-isometries.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1377-1384
• /
• 2019

In this paper, we prove that for every surjective phase-isometry between the unit spheres of real atomic $L_p$-spaces for p > 0, its positive homogeneous extension is a phase-isometry which is phase equivalent to a linear isometry.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.3
• /
• pp.365-374
• /
• 2020

Given a noncompact semisimple Lie group G and its maximal compact Lie subgroup K such that the right multiplication of each element in K gives an isometry on G, consider a principal bundle G → G/K, which is a Riemannian submersion. We study the infinitesimal holonomy isometries. Given a closed curve at eK in the base space G/K, consider the holonomy displacement of e by the horizontal lifting of the curve. We prove that the correspondence is continuous.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.47-52
• /
• 1989

Methods of Riemannian geometry has played an important role in the study of compact transformation groups. Every effective action of a compact Lie group on a differential manifold leaves a Riemannian metric invariant and the study of such actions reduces to the one involving the group of isometries of a Riemannian metric on the manifold which is, a priori, a Lie group under the compact open topology. Once an action of a compact Lie group is given an invariant metric is easily constructed by the averaging method and the Lie group is naturally imbedded in the group of isometries as a Lie subgroup. But usually this invariant metric has more symmetries than those given by the original action. Therefore the first question one may ask is when one can find a Riemannian metric so that the given action coincides with the action of the full group of isometries. This seems to be a difficult question to answer which depends very much on the orbit structure and the group itself. In this paper we give a sufficient condition that a subgroup action of a compact Lie group has an invariant metric which is not invariant under the full action of the group and figure out some aspects of the action and the orbit structure regarding the invariant Riemannian metric. In fact, according to our results, this is possible if there is a larger transformation group, containing the oringnal action and either having larger orbit somewhere or having exactly the same orbit structure but with an orbit on which a Riemannian metric is ivariant under the orginal action of the group and not under that of the larger one. Recently R. Saerens and W. Zame showed that every compact Lie group can be realized as the full group of isometries of Riemannian metric. [SZ] This answers a question closely related to ours but the situation turns out to be quite different in the two problems.

• Communications of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.653-659
• /
• 2017

Let $p{\geq}1$ be a real number. A tuple $T=(T_1,{\ldots},T_n)$ of commuting bounded linear operators on a Banach space X is called an ${\ell}^p$-spherical isometry if ${\sum_{i=1}^{n}}{\parallel}T_ix{\parallel}^p={\parallel}x{\parallel}^p$ for all $x{\in}X$. The tuple T is called a toral isometry if each Ti is an isometry. By a result of Ansari, Hedayatian, Khani-Robati and Moradi, for every $n{\geq}1$, there is a supercyclic ${\ell}^2$-spherical isometric n-tuple on ${\mathbb{C}}^n$ but there is no supercyclic ${\ell}^2$-spherical isometry on an infinite-dimensional Hilbert space. In this article, we investigate the supercyclicity of ${\ell}^p$-spherical isometries and toral isometries on Banach spaces. Also, we introduce the notion of semicommutative tuples and we show that the Banach spaces ${\ell}^p$ ($1{\leq}p$ < ${\infty}$) support supercyclic ${\ell}^p$-spherical isometric semi-commutative tuples. As a result, all separable infinite-dimensional complex Hilbert spaces support supercyclic spherical isometric semi-commutative tuples.