• 대한수학회보
• /
• 제32권1호
• /
• pp.85-91
• /
• 1995

For a locally compact Hausdorff space, we denote by $C_0(X)$ the Banach space of all continuous complex valued functions defined on X which vanish at infinity, equipped with the usual sup norm. In case X is compact, we write C(X) instead of $C_0(X)$. A well-known Banach-Stone theorem states that the existence of an isometry between the function spaces $C_0(X)$ and $C_0(Y)$ implies X and Y are homemorphic. D. Amir [1] and M. Cambern [2] independently generalized this theorem by proving that if $C_0(X)$ and $C_0(Y)$ are isomorphic under an isomorphism T satisfying $\left\$\mid$ T \right\$\mid$ \left\$\mid$ T^1 \right\$\mid$ < 2$, then X and Y must also be homeomorphic.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제3권2호
• /
• pp.155-162
• /
• 1996

We will show that let X and Y be M -finite Banach spaces with canonical M-decompositions $X{\cong}{{\prod}^{{\gamma}_{\infty}}_{i=1}}{X^{n_i}}_{i}\;and\;Y{\cong}{{\prod}^{{\bar{\gamma}}_{\infty}}_{j=1}}{\tilde{Y}^{m_j}}_{j}$, respectively and M and N nonzero locally compact Hausdorff spaces. Then I : $C_{0}$(M,X) ${\longrightarrow}\;C_{0}$(N,Y) is an isometrical isomorphism if and only if r = $\bar{r}$ and there are permutation and homeomorphisms and continuous maps such that I = ${I^{-1}}_{N.Y}\;{\circ}I_{w}^{-1}{\circ}({{\prod}^{\gamma}}_{i=1}I_{t_i,u_i}){\circ}I_{M,X}$.

• Journal of applied mathematics & informatics
• /
• 제35권1_2호
• /
• pp.95-111
• /
• 2017

Recently, interval-valued fuzzy graph is a growing research topic as it is the generalization of fuzzy graphs. The interval-valued fuzzy graphs are more flexible and compatible than fuzzy graphs due to the fact that they allowed the degree of membership of a vertex to an edge to be represented by interval values in [0.1] rather than the crisp values between 0 and 1. In this paper, we introduce the concepts of regular and totally regular interval-valued fuzzy graphs and discusses some properties of the ${\mu}$-complement of interval-valued fuzzy graph. Self ${\mu}$-complementary interval-valued fuzzy graphs and self-weak ${\mu}$-complementary interval-valued fuzzy graphs are defined and a necessary condition for an interval valued fuzzy graph to be self ${\mu}$-complementary is discussed. We define busy vertices and free vertices in interval valued fuzzy graph and study their image under an isomorphism.

• Korean Journal of Mathematics
• /
• 제5권2호
• /
• pp.177-183
• /
• 1997

Let ${\sigma}(X,x_0,G)$ be the fundamental group of a transformation group (X,G). Let $R({\varphi},{\psi})$) be the generalized Reidemeister number for an endomorphism $({\varphi},{\psi}):(X,G){\rightarrow}(X,G)$. In this paper, our main results are as follows ; we prove some sufficient conditions for $R({\varphi},{\psi})$ to be the cardinality of $Coker(1-({\varphi},{\psi})_{\bar{\sigma}})$, where 1 is the identity isomorphism and $({\varphi},{\psi})_{\bar{\sigma}}$ is the endomorphism of ${\bar{\sigma}}(X,x_0,G)$, the quotient group of ${\sigma}(X,x_0,G)$ by the commutator subgroup $C({\sigma}(X,x_0,G))$, induced by (${\varphi},{\psi}$). In particular, we prove $R({\varphi},{\psi})={\mid}Coker(1-({\varphi},{\psi})_{\bar{\sigma}}){\mid}$, provided that (${\varphi},{\psi}$) is eventually commutative.

• 대한수학회지
• /
• 제59권3호
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).