• 대한수학회논문집
• /
• 제10권1호
• /
• pp.109-113
• /
• 1995

For a Hilbert space H, let L(H) denote the algebra of all bounded operators on H. For an $n \in N$, it is well known that any element $T \in L(\oplus^n H)$ is expressed as an $n \times n$ matrix each of whose entries lies in L(H) so that T is written as $$ (1) T = (T_{ij}), i, j = 1, 2, ..., n, T_{ij} \in L(H), $$ where $\oplus^n H$ is the direct sum Hilbert space of n copies of H.

• 충청수학회지
• /
• 제6권1호
• /
• pp.53-57
• /
• 1993

Let E and F be Banach spaces with $X{\subset}E$ and $Y{\subset}F$. Suppose that X is weakly compact, convex and has the fixed point property for a nonexpansive mapping, and Y has the fixed point property for a multivalued nonexpansive mapping. Then $(X{\oplus}Y)_p$, $1{\leq}$ P < ${\infty}$ has the fixed point property for a multi valued nonexpansive mapping. Furthermore, if X has the generic fixed point property for a nonexpansive mapping, then $(X{\oplus}Y)_{\infty}$ has the fixed point property for a multi valued nonexpansive mapping.

• Kyungpook Mathematical Journal
• /
• 제47권3호
• /
• pp.357-361
• /
• 2007

A right R-module P is $c$-separative provided that $$P{\oplus}P{{c}\atop{\simeq_-}}P{\oplus}Q{\Longrightarrow}P{\simeq_-}Q$$ for any right R-module Q. We get, in this paper, two sufficient conditions under which a right module is $c$-separative. A ring R is a hereditary ring provided that every ideal of R is projective. As an application, we prove that every projective right R-module over a hereditary ring is $c$-separative.

• 충청수학회지
• /
• 제14권1호
• /
• pp.1-6
• /
• 2001

We investigate the relationships between the Gottlieb groups and the generalized Gottlieb groups, and study some properties of the generalized Gottlieb groups. Lee and Woo [5] proved that $G_n(X,i_1,X{\times}Y){\simeq_-}G_n(X){\oplus}{\pi}_n(Y)$. We can easily re-prove the above main theorem of [5] using some properties of the generalized Gottlieb groups, and obtain a more powerful result as follows; if $F{\rightarrow}^iE{\rightarrow}^pB$ is a homotopically trivial fibration, then $G_n(F,i,E){\simeq_-}{\pi}_n(B){\oplus}G_n(F)$.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제16권2호
• /
• pp.193-198
• /
• 2009

In the previous work [5] we have determined the group ${{\varepsilon}_{\sharp}}^{dim+r}^{dim+r}(X)$ for $X\;=\;M(Z_q,\;n+1){\vee}M(Z_q,\;n)$ for all integers q > 1. In this paper, we investigate the group ${{\varepsilon}_{\sharp}}^{dim+r}(X)$ for $X\;=\;M(Z{\oplus}Z_q,\;n+1){\vee}M(Z{\oplus}Z_q,\;n)$ for all odd numbers q > 1.

• Korean Journal of Mathematics
• /
• 제9권1호
• /
• pp.45-52
• /
• 2001

Let A denote the set {$a{\in}M_n{\mid}a{\geq}0$, $tr(a)=1$}, $St(M_n)$ the set of all states on $M_n$, and $PS(M_n)$ the set of all pure states on $M_n$. We show that there are one-to-one correspondences between A and $St(M_n)$, and between the set of all extreme points of A and $PS(M_n)$. We find a necessary and sufficient condition for a state on $M_{n1}{\oplus}{\cdots}{\oplus}M_{nk}$ to be extended to a pure state on $M_{n1}+{\cdots}+_{nk}$.

• Korean Journal of Mathematics
• /
• 제5권2호
• /
• pp.185-193
• /
• 1997

In this paper, we study the $BP_*$-module structure of $BP_*$(BG) mod $(p,v_1,{\cdots})^2$ for non abelian groups of the order $p^3$. We know $grBP_*(BG)=BP_*{\otimes}H(H_*(BG);Q_1){\oplus}BP^*/(p,v_1){\otimes}ImQ_1$. The similar fact occurs for $BP_*$-homology $grBP_*(BG)=BP_*s^{-1}H(H_*(BG);Q_1){\oplus}BP_*/(p,v)s^{-1}H^{odd}(BG)$ by using the spectral sequence $E^{*,*}_2=Ext_{BP^*}(BP_*(BG),BP^*){\Rightarrow}BP^*(BG)$.

• 대한수학회보
• /
• 제46권1호
• /
• pp.25-33
• /
• 2009

Let ${\pi}:E{\rightarrow}B$ be a Serre fibration with fibre F. We prove that if the inclusion map $i:F{\rightarrow}E$ has a left homotopy inverse r and ${\pi}:E{\rightarrow}B$ admits a cross section ${\rho}:B{\rightarrow}E$, then $G_n(E,F){\cong}{\pi}_n(B){\oplus}G_n(F)$. This is a generalization of the case of trivial fibration which has been proved by Lee and Woo in [8]. Using this result, we will prove that ${\pi}_n(X^A){\cong}{\pi}_n(X){\oplus}G_n(F)$ for the function space $X^A$ from a space A to a weak $H_*$-space X where the evaluation map ${\omega}:X^A{\rightarrow}X$ is regarded as a fibration.

• 대한수학회보
• /
• 제60권6호
• /
• pp.1555-1566
• /
• 2023

A Hilbert space operator A ∈ B(H) is a generalised n-projection, denoted A ∈ (G-n-P), if A^*n = A. (G-n-P)-operators A are normal operators with finitely countable spectra σ(A), subsets of the set $\{0\}\,{\cup}\,\{\sqrt[n+1]{1}\}.$ The Aluthge transform à of A ∈ B(H) may be (G - n - P) without A being (G - n - P). For doubly commuting operators A, B ∈ B(H) such that σ(AB) = σ(A)σ(B) and ${\parallel}A{\parallel}\,{\parallel}B{\parallel}\;{\leq}\;{\parallel}{\tilde{AB}}{\parallel},$ ${\tilde{AB}}\;{\in}\;(G\,-\,n\,-\,P)$ if and only if $A\;=\;{\parallel}{\tilde{A}}{\parallel}\,(A_{00}\,{\oplus}\,(A_0\,{\oplus}\,A_u))$ and $B\;=\;{\parallel}{\tilde{B}}{\parallel}\,(B_0\,{\oplus}\,B_u),$ where A₀₀ and B₀, and A₀ ⊕ A_u and B_u, doubly commute, A₀₀B₀ and A₀ are 2 nilpotent, A_u and B_u are unitaries, A^*n_u = A_u and B^*n_u = B_u. Furthermore, a necessary and sufficient condition for the operators αA, βB, αà and ${\beta}{\tilde{B}},\;{\alpha}\,=\,\frac{1}{{\parallel}{\tilde{A}}{\parallel}}$ and ${\beta}\,=\,\frac{1}{{\parallel}{\tilde{B}}{\parallel}},$ to be (G - n - P) is that A and B are spectrally normaloid at 0.

• 한국통신학회논문지
• /
• 제31권3C
• /
• pp.286-292
• /
• 2006

직렬 합성(composition)과 병렬 합성(XOR)은 암호 스킴의 안전성을 높이기 위해 널리 사용되고 있는 방법이다. 랜덤 순열을 직렬 합성하는 회수가 많아질수록 보다 안전한 랜덤 순열이 되고, 병렬 합성하는 회수가 많아질수록 보다 안전한 랜덤 함수가 된다. 이 두가지 방법을 결합해서, 본고는 다음과 같은 일반화된 형태의 랜덤 함수를 정의한다. $SUM^s - CMP^c = ({\pi}_{sc} ... {\pi}_{(s-1)c+1}){\oplus}...{\oplus}({\pi}_c...{\pi}_1)$. 여기서, ${\pi}_1...{\pi}_{sc}$는 랜덤 순열이다. 랜덤 순열의 총 개수가 고정되어 있을 때, 직렬 합성과 병렬 합성을 각각 얼마만큼 하느냐에 따라 위 함수의 안전성은 달라질 것이다. 임의의 두 암호 스킴의 안전성을 엄밀히 비교하기 위해서는 각각의 정확한 안전성 값을 대상으로 해야 한다. 그러나, 일반적으로 정확한 값이 알려진 경우는 거의 없다. 특히, 매개변수(위 함수의 경우, s, c)의 값이 작을 경우는 밀계(tight bound)가 알려져 있는 경우가 종종 있으나, 일반적인 매개변수에 대해서는 정확한 값이나 밀계가 알려진 경우가 거의 없다. 그래서, 실제 상황에서는 두 암호 스킴의 안전성 비교는, 각각의 불안전성(insecurity)의 상계(upper bound)를 비교함으로써 이루어진다. 안전성을 중요시하는 상황에서는 더 낮은 상계를 갖는 암호 스킴을 선호하게 된다. $SUM^s - CMP^c$의 불안전성은 기존의 여러 결과들을 조합해서 계산할 수 있다. 따라서, 특정$(s_1,c_1),(s_2.c_2)$에 대한 두 함수의 안전성은 각각의 불안전성의 상계값을 계산함으로써 비교될 수 있다. 본고는 일반적인 (s, c)에 대한 $SUM^s - CMP^c$의 불안전성의 상계값의 변화를 알아보고자 한다. 그리고, 보다 낮은 상계값을 얻기 위한 직렬/병렬 합성의 최적의 개수가 무엇인지 조사한다.