• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.443-456
• /
• 2005

Let G be a Lie group, let L(G) be its Lie algebra, and let exp : $L(G){\rightarrow}G$ denote the exponential mapping. For $S{\subseteq}G$, we define the tangent set of S by $L(S)\;=\;\{X\;{\in}\;L(G)\;:\;exp(tX)\;\in\;S\;for\;all\;t\;{\geq}\;0\}$. We say that a semigroup S is strictly infinitesimally generated if S is the same as the semigroup generated by exp(L(S)). We find a tangent set of the semigroup of all non-singular totally positive matrices and show that the semigroup is strictly infinitesimally generated by the tangent set of the semigroup. This generalizes the familiar relationships between connected Lie subgroups of G and their Lie algebras

• Honam Mathematical Journal
• /
• v.35 no.1
• /
• pp.37-49
• /
• 2013

Consider a non-degenerate open convex cone C with vertex the origin in the $n$2-dimensional Euclidean space $E^n$. We study volume properties of strictly convex hypersurfaces in the cone C. As a result, for example, if the volume of the region of an elliptic cone C cut off by the tangent hyperplane P of M at $p$ is independent of the point $p{\in}M$, then it is shown that the hypersurface M is part of an elliptic hyperboloid.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.905-913
• /
• 2023

Suppose that M is a strictly convex hypersurface in the (n + 1)-dimensional Euclidean space 𝔼ⁿ⁺¹ with the origin o in its convex side and with the outward unit normal N. For a fixed point p ∈ M and a positive constant t, we put 𝚽_t the hyperplane parallel to the tangent hyperplane 𝚽 at p and passing through the point q = p - tN(p). We consider the region cut from M by the parallel hyperplane 𝚽_t, and denote by I_p(t) the (n + 1)-dimensional volume of the convex hull of the region and the origin o. Then Schneider's characterization theorem for ellipsoids states that among centrally symmetric, strictly convex and closed surfaces in the 3-dimensional Euclidean space 𝔼³, the ellipsoids are the only ones satisfying I_p(t) = 𝜙(p)t, where 𝜙 is a function defined on M. Recently, the characterization theorem was extended to centrally symmetric, strictly convex and closed hypersurfaces in 𝔼ⁿ⁺¹ satisfying for a constant 𝛽, I_p(t) = 𝜙(p)t^𝛽. In this paper, we study the volume I_p(t) of a strictly convex and complete hypersurface in 𝔼ⁿ⁺¹ with the origin o in its convex side. As a result, first of all we extend the characterization theorem to strictly convex and closed (not necessarily centrally symmetric) hypersurfaces in 𝔼ⁿ⁺¹ satisfying I_p(t) = 𝜙(p)t^𝛽. After that we generalize the characterization theorem to strictly convex and complete (not necessarily closed) hypersurfaces in 𝔼ⁿ⁺¹ satisfying I_p(t) = 𝜙(p)t^𝛽.