• Korean Journal of Mathematics
• /
• v.27 no.3
• /
• pp.735-741
• /
• 2019

Let ${\mathcal{H}}$ be a complex Hilbert space and ${\mathcal{B}}({\mathcal{H}})$ the algebra of all bounded linear operators on ${\mathcal{H}}$. In this paper, we prove that if ${\varphi}:{\mathcal{B}}({\mathcal{H}}){\rightarrow}{\mathcal{B}}({\mathcal{H}})$ is a unital surjective bounded linear map, which preserves m- isometries m = 1, 2 in both directions, then there are unitary operators $U,V{\in}{\mathcal{B}}({\mathcal{H}})$ such that ${\varphi}(T)=UTV$ or ${\varphi}(T)=UT^{tr}V$ for all $T{\in}{\mathcal{B}}({\mathcal{H}})$, where $T^{tr}$ is the transpose of T with respect to an arbitrary but fixed orthonormal basis of ${\mathcal{H}}$.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{A}$.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.867-876
• /
• 2017

Let $\mathcal{A}$ and $\mathcal{B}$ be two $C^*$-algebras such that $\mathcal{A}$ is prime. In this paper, we investigate the additivity of maps ${\Phi}$ from $\mathcal{A}$ onto $\mathcal{B}$ that are bijective and satisfy $${\Phi}(A^*B+{\eta}BA^*)={\Phi}(A)^*{\Phi}(B)+{\eta}{\Phi}(B){\Phi}(A)^*$$ for all $A,B{\in}\mathcal{A}$ where ${\eta}$ is a non-zero scalar such that ${\eta}{\neq}{\pm}1$. Moreover, if ${\Phi}(I)$ is a projection, then ${\Phi}$ is a ${\ast}$-isomorphism.

• Korean Journal of Mathematics
• /
• v.7 no.2
• /
• pp.183-198
• /
• 1999

Let $\mathcal{F}(B)$ be the Fresnel class on an abstract Wiener space (B, H, ${\omega}$) which consists of functionals F of the form : $$F(x)={\int}_H\;{\exp}\{i(h,x)^{\sim}\}df(h),\;x{\in}B$$ where $({\cdot}{\cdot})^{\sim}$ is a stochastic inner product between H and B, and $f$ is in $\mathcal{M}(H)$, the space of all complex-valued countably additive Borel measures on H. We introduce the concepts of an $L_p$ analytic Fourier-Feynman transform ($1{\leq}p{\leq}2$) and a convolution product on $\mathcal{F}(B)$ and verify the existence of the $L_p$ analytic Fourier-Feynman transforms for functionls in $\mathcal{F}(B)$. Moreover, we verify that the Fresnel class $\mathcal{F}(B)$ is closed under the $L_p$ analytic Fourier-Feynman transform and the convolution product, respectively. And we investigate some interesting properties for the $n$-repeated $L_p$ analytic Fourier-Feynman transform on $\mathcal{F}(B)$. Finally, we show that several results in [9] come from our results in Section 3.

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

Let $[n]=\{1,2,{\ldots},n\}$. A set ${\mathbf{A}}=\{A_1,A_2,{\ldots},A_l\}$ is a minimal cover of [n] if ${\cup}_{1{\leq}i{\leq}l}A_i=[n]$ and $$\bigcup_{{1{\leq}i{\leq}l,}\\{i{\neq}j_0}}A_i{\neq}[n]\text{ for all }j_0{\in}[l]$$. Let ${\mathcal{C}}(n)$ denote the collection of all minimal covers of [n], and write $C_n={\mid}{\mathcal{C}}(n){\mid}$. Let ${\mathbf{A}}{\in}{\mathcal{C}}(n)$. An element $u{\in}[n]$ is critical in ${\mathbf{A}}$ if it appears exactly once in ${\mathbf{A}}$. Two minimal covers ${\mathbf{A}},{\mathbf{B}}{\in}{\mathcal{C}}(n)$ are said to be restricted t-intersecting if they share at least t sets each containing an element which is critical in both ${\mathbf{A}}$ and ${\mathbf{B}}$. A family ${\mathcal{A}}{\subseteq}{\mathcal{C}}(n)$ is said to be restricted t-intersecting if every pair of distinct elements in ${\mathcal{A}}$ are restricted t-intersecting. In this paper, we prove that there exists a constant $n_0=n_0(t)$ depending on t, such that for all $n{\geq}n_0$, if ${\mathcal{A}}{\subseteq}{\mathcal{C}}(n)$ is restricted t-intersecting, then ${\mid}{\mathcal{A}}{\mid}{\leq}{\mathcal{C}}_{n-t}$. Moreover, the bound is attained if and only if ${\mathcal{A}}$ is isomorphic to the family ${\mathcal{D}}_0(t)$ consisting of all minimal covers which contain the singleton parts $\{1\},{\ldots},\{t\}$. A similar result also holds for restricted r-cross intersecting families of minimal covers.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.3
• /
• pp.523-534
• /
• 2010

In this paper, we consider the weighted Bloch spaces ${\mathcal{B}}_q$(q > 0) on the open unit ball in ${\mathbb{C}}^n$. We prove a certain integral representation theorem that is used to determine the degree of growth of the functions in the space ${\mathcal{B}}_q$ for q > 0. This means that for each q > 0, the Banach dual of $L_a^1$ is ${\mathcal{B}}_q$ and the Banach dual of ${\mathcal{B}}_{q,0}$ is $L_a^1$ for each $q{\geq}1$.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.481-495
• /
• 2009

Huffman, Park and Skoug introduced various results for the $L_{p}$ analytic Fourier-Feynman transform and the convolution for functionals on classical Wiener space which belong to some Banach algebra $\mathcal{S}$ introduced by Cameron and Storvick. Also Chang, Kim and Yoo extended the above results to an abstract Wiener space for functionals in the Fresnel class $\mathcal{F}(B)$ which corresponds to $\mathcal{S}$. Moreover they introduced the $L_{p}$ analytic Fourier-Feynman transform for functionals on a product abstract Wiener space and then established the above results for functionals in the generalized Fresnel class $\mathcal{F}_{A1,A2}$ containing $\mathcal{F}(B)$. In this paper, we investigate more generalized relationships, between the Fourier-Feynman transform and the convolution product for functionals in $\mathcal{F}_{A1,A2}$, than the above results.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.375-382
• /
• 2017

We exhibit a one-to-one correspondence between 3-colored graphs and subarrangements of certain hyperplane arrangements denoted ${\mathcal{J}}_n$, $n{\in}{\mathbb{N}}$. We define the notion of centrality of 3-colored graphs, which corresponds to the centrality of hyperplane arrangements. Via the correspondence, the characteristic polynomial ${\chi}{\mathcal{J}}_n$ of ${\mathcal{J}}_n$ can be expressed in terms of the number of central 3-colored graphs, and we compute ${\chi}{\mathcal{J}}_n$ for n = 2, 3.

• Honam Mathematical Journal
• /
• v.31 no.3
• /
• pp.421-428
• /
• 2009

Given operators X and Y acting on a Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that AX = Y. In this paper, we showed the following : Let $\mathcal{L}$ be a subspace lattice acting on a Hilbert space $\mathcal{H}$ and let $X_i$ and $Y_i$ be operators in B($\mathcal{H}$) for i = 1, 2, ${\cdots}$. Let $P_i$ be the projection onto $\overline{rangeX_i}$ for all i = 1, 2, ${\cdots}$. If $P_kE$ = $EP_k$ for some k in $\mathbb{N}$ and all E in $\mathcal{L}$, then the following are equivalent: (1) $sup\;\{{\frac{{\parallel}E^{\perp}({\sum}^n_{i=1}Y_if_i){\parallel}}{{\parallel}E^{\perp}({\sum}^n_{i=1}Y_if_i){\parallel}}:f{\in}H,n{\in}{\mathbb{N}},E{\in}\mathcal{L}}\}$ < ${\infty}$ range $\overline{rangeY_k}\;=\;\overline{rangeX_k}\;=\;\mathcal{H}$, and < $X_kf,\;X_kg$ >=< $Y_kf,\;Y_kg$ > for some k in $\mathbb{N}$ and for all f and g in $\mathcal{H}$. (2) There exists an operator A in Alg$\mathcal{L}$ such that $AX_i$ = $Y_i$ for i = 1, 2, ${\cdots}$ and AA$^*$ = I = A$^*$A.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.417-426
• /
• 2011

Let ${\mu}$ be a finite positive Borel measure on the unit ball $B{\subset}{\mathbb{C}}^n$ and ${\nu}$ be the Euclidean volume measure such that ${\nu}(B)=1$. For the unit sphere $S=\{z:{\mid}z{\mid}=1\}$, ${\sigma}$ is the rotation-invariant measure on S such that ${\sigma}(S) =1$. Let ${\mathcal{P}}[f]$ be the Poisson-$Szeg{\ddot{o}}$ integral of f and $\tilde{\mu}$ be the Berezin transform of ${\mu}$. In this paper, we show that if there is a constant M > 0 such that ${\int_B}{\mid}{\mathcal{P}}[f](z){\mid}^pd{\mu}(z){\leq}M{\int_B}{\mid}{\mathcal{P}}[f](z){\mid}^pd{\nu}(z)$ for all $f{\in}L^p(\sigma)$, then ${\parallel}{\tilde{\mu}}{\parallel}_{\infty}{\equiv}{\sup}_{z{\in}B}{\mid}{\tilde{\mu}}(z){\mid}<{\infty}$, and we show that if ${\parallel}{\tilde{\mu}{\parallel}_{\infty}<{\infty}$, then ${\int_B}{\mid}{\mathcal{P}}[f](z){\mid}^pd{\mu}(z){\leq}C{\mid}{\mid}{\tilde{\mu}}{\mid}{\mid}_{\infty}{\int_S}{\mid}f(\zeta){\mid}^pd{\sigma}(\zeta)$ for some constant C.