• Journal of applied mathematics & informatics
• /
• 제39권5_6호
• /
• pp.617-622
• /
• 2021

Let R be a commutative ring with identity, R[X] the polynomial ring over R and S a multiplicative subset of R. Let U = {f ∈ R[X] | f is monic} and let N = {f ∈ R[X] | c(f) = R}. In this paper, we show that if S is an anti-Archimedean subset of R, then R is an S-Noetherian ring if and only if R[X]_U is an S-Noetherian ring, if and only if R[X]_N is an S-Noetherian ring. We also prove that if R is an integral domain and R[X]_U is an S-principal ideal domain, then R is an S-principal ideal domain.

• 전자공학회논문지B
• /
• 제29B권7호
• /
• pp.87-97
• /
• 1992

Fuzzy controllers have been successfully applied to many cases to which conventional control algorithms are difficult to be applied. Even though the representations and the processings of data and information in the fuzzy controller are quite different from those in other control algorithms, the information processing operation that it caries out is basically a function ∫: $A{\subset}R^n{\to}R^m$, from a bounded subset A of an n-dimensional Euclidean space to a bounded subset f[A] of an m-dimensional Euclidean space, where n and m are the number of measured states and the number of control inputs of the controlled system, respectively. Under the assumptions of Mamdani's direct reasoning method and C.O.G.(center of gravity) defuzzification method, the fuzzy controllers are proven to perform the mapping of any given functions f with appropriately defined fuzzy sets. The mapping capabilities of fuzzy controllers are analyzed in detail for two cases, ∫: $R^{1}{\to}R^{1}$ and g: $R^{2}{\to}R^{1}$. Also, it will be shown that the results can be extended to multiple dimensional cases.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제26권1호
• /
• pp.41-45
• /
• 1987

In this paper, we give several fixed point theorems in a complete metric space for two multi-valued mappings commuting with two single-valued mappings. In fact, our main theorems show the existence of solutions of functional equations f($\chi$)=g($\chi$)$\in$S$\chi$∩T$\chi$ and $\chi$=f($\chi$)=g($\chi$)$\in$S$\chi$∩T$\chi$ under certain conditions. We also answer an open question proposed by Rhoades-Singh-Kulsherestha. Throughout this paper, let (X, d) be a complete metric space. We shall follow the following notations : CL(X) = {A; A is a nonempty closed subset of X}, CB(X)={A; A is a nonempty closed and founded subset of X}, C(X)={A; A is a nonempty compact subset of X}, For each A, B$\in$CL(X) and $\varepsilon$>0, N($\varepsilon$, A) = {$\chi$$\in$X; d($\chi$, ${\alpha}$) < $\varepsilon$ for some ${\alpha}$$\in$A}, E$\sub$A, B/={$\varepsilon$ > 0; A⊂N($\varepsilon$ B) and B⊂N($\varepsilon$, A)}, and (equation omitted). Then H is called the generalized Hausdorff distance function fot CL(X) induced by a metric d and H defined CB(X) is said to be the Hausdorff metric induced by d. D($\chi$, A) will denote the ordinary distance between $\chi$$\in$X and a nonempty subset A of X. Let R$\^$+/ and II$\^$+/ denote the sets of nonnegative real numbers and positive integers, respectively, and G the family of functions ${\Phi}$ from (R$\^$+/)$\^$s/ into R$\^$+/ satisfying the following conditions: (1) ${\Phi}$ is nondecreasing and upper semicontinuous in each coordinate variable, and (2) for each t>0, $\psi$(t)=max{$\psi$(t, 0, 0, t, t), ${\Phi}$(t, t, t, 2t, 0), ${\Phi}$(0, t, 0, 0, t)} $\psi$: R$\^$+/ \longrightarrow R$\^$+/ is a nondecreasing upper semicontinuous function from the right. Before sating and proving our main theorems, we give the following lemmas:

• Journal of applied mathematics & informatics
• /
• 제5권3호
• /
• pp.877-888
• /
• 1998

We show that if dialation operator $\parallel\sigma_r\parallel\; E=\Psi(r)$ of E, then $\Lambda_\subset_{\Psi1}E\subset\;M_\Psi$, We also show that there are lattice-isomorphic copies of $l_\rho \; and \;l_\infty$ in $M \Psi$ under some condition.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 춘계 학술대회 학술발표 논문집
• /
• pp.14-17
• /
• 2003

By Mazur's theorem, the convex hull of a relatively compact subset a Banach space is also relatively compact. But this is not true any more in the space of fuzzy numbers endowed with the Hausdorff-Skorohod metric. In this paper, we establish a necessary and sufficient condition for which the convex hull of K is also relatively compact when K is a relatively compact subset of the space F(R$\^$k/) of fuzzy numbers of R$\^$k/ endowed with the Hausdorff-Skorohod metric.

• 대한수학회보
• /
• 제54권4호
• /
• pp.1323-1330
• /
• 2017

For a nondegenerate projective irreducible variety $X{\subset}{\mathbb{P}}^r$, it is a natural problem to find an upper bound for the value of $${\ell}_{\beta}(X)=max\{length(X{\cap}L){\mid}L={\mathbb{P}}^{\beta}{\subset}{\mathbb{P}}^r,\;{\dim}(X{\cap}L)=0\}$$ for each $1{\leq}{\beta}{\leq}e$. When X is locally Cohen-Macaulay, A. Noma in [10] proves that ${\ell}_{\beta}(X)$ is at most $d-e+{\beta}$ where d and e are respectively the degree and the codimension of X. In this paper, we construct some surfaces $S{\subset}{\mathbb{P}}^5$ of degree $d{\in}\{7,{\ldots},12\}$ which satisfies the inequality $${\ell}_2(S){\geq}d-3+{\lfloor}{\frac{d}{2}}{\rfloor}$$. This shows that Noma's bound is no more valid for locally non-Cohen-Macaulay varieties.

• 대한수학회논문집
• /
• 제34권2호
• /
• pp.415-427
• /
• 2019

Let R be an associative ring with nonzero identity. The annihilator ideal graph of R, denoted by ${\Gamma}_{Ann}(R)$, is a graph whose vertices are all nonzero proper left ideals and all nonzero proper right ideals of R, and two distinct vertices I and J are adjacent if $I{\cap}({\ell}_R(J){\cup}r_R(J)){\neq}0$ or $J{\cap}({\ell}_R(I){\cup}r_R(I)){\neq}0$, where ${\ell}_R(K)=\{b{\in}R|bK=0\}$ is the left annihilator of a nonempty subset $K{\subseteq}R$, and $r_R(K)=\{b{\in}R|Kb=0\}$ is the right annihilator of a nonempty subset $K{\subseteq}R$. In this paper, we assume that R is a semicommutative ring. We study the structure of ${\Gamma}_{Ann}(R)$. Also, we investigate the relations between the ring-theoretic properties of R and graph-theoretic properties of ${\Gamma}_{Ann}(R)$. Moreover, some combinatorial properties of ${\Gamma}_{Ann}(R)$, such as domination number and clique number, are studied.

• 대한수학회논문집
• /
• 제33권4호
• /
• pp.1083-1096
• /
• 2018

Let R be an associative ring. We define a subset $S_R$ of R as $S_R=\{a{\in}R{\mid}aRa=(0)\}$ and call it the source of semiprimeness of R. We first examine some basic properties of the subset $S_R$ in any ring R, and then define the notions such as R being a ${\mid}S_R{\mid}$-reduced ring, a ${\mid}S_R{\mid}$-domain and a ${\mid}S_R{\mid}$-division ring which are slight generalizations of their classical versions. Beside others, we for instance prove that a finite ${\mid}S_R{\mid}$-domain is necessarily unitary, and is in fact a ${\mid}S_R{\mid}$-division ring. However, we provide an example showing that a finite ${\mid}S_R{\mid}$-division ring does not need to be commutative. All possible values for characteristics of unitary ${\mid}S_R{\mid}$-reduced rings and ${\mid}S_R{\mid}$-domains are also determined.

• Korean Journal of Mathematics
• /
• 제8권2호
• /
• pp.163-172
• /
• 2000

Let $\mathcal{S}^{\prime}(\mathbb{R})$ be the dual of the Schwartz spaces $\mathcal{S}(\mathbb{R})$), A be a self-adjoint operator in $L^2(\mathbb{R})$ and ${\Gamma}(A)^*$ be the adjoint operator of ${\Gamma}(A)$ which is the second quantization operator of A. It is proven that under a suitable condition on A there exists a nuclear subspace $\mathcal{S}$ of a fundamental space $\mathcal{S}_A$ of Hida's type on $\mathcal{S}^{\prime}(\mathbb{R})$) such that ${\Gamma}(A)\mathcal{S}{\subset}\mathcal{S}$ and $e^{-t{\Gamma}(A)}\mathcal{S}{\subset}\mathcal{S}$, which enables us to show that a stochastic differential equation: $$dX(t)=dW(t)-{\Gamma}(A)^*X(t)dt$$, arising from the central limit theorem for spatially extended neurons has an unique solution on the dual space $\mathcal{S}^{\prime}$ of $\mathcal{S}$.

• 충청수학회지
• /
• 제7권1호
• /
• pp.41-46
• /
• 1994

In this paper, we show that if A is a Banach algebra with radical R and D is a left derivation on A then $D(A){\subset}R$ if and only if $Q_RD^n$ is continuous for all $n{\geq}1$, where $Q_R$ is the canonical quotient map from A onto A/R.