• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1025-1036
• /
• 2010

A new class of generalized open sets in a topological space, called e-open sets, is introduced and some properties are obtained by Ekici [6]. This class is contained in the class of $\delta$-semi-preopen (or $\delta-\beta$-open) sets and weaker than both $\delta$-semiopen sets and $\delta$-preopen sets. In order to investigate some different properties we introduce two strong form of e-open sets called e-regular sets and e-$\theta$-open sets. By means of e-$\theta$-open sets we also introduce a new class of functions called strongly $\theta$-e-continuous functions which is a generalization of $\theta$-precontinuous functions. Some characterizations concerning strongly $\theta$-e-continuous functions are obtained.

• Journal of the Korean Data and Information Science Society
• /
• v.28 no.3
• /
• pp.659-668
• /
• 2017

The inverse Weibull distribution (IWD) can be readily applied to a wide range of situations including applications in medicines, reliability and ecology. It is generally known that the lifetimes of test items may not be recorded exactly. In this paper, therefore, we consider the maximum likelihood estimation (MLE) and Bayes estimation of the entropy of a IWD under generalized progressive hybrid censoring (GPHC) scheme. It is observed that the MLE of the entropy cannot be obtained in closed form, so we have to solve two non-linear equations simultaneously. Further, the Bayes estimators for the entropy of IWD based on squared error loss function (SELF), precautionary loss function (PLF), and linex loss function (LLF) are derived. Since the Bayes estimators cannot be obtained in closed form, we derive the Bayes estimates by revoking the Tierney and Kadane approximate method. We carried out Monte Carlo simulations to compare the classical and Bayes estimators. In addition, two real data sets based on GPHC scheme have been also analysed for illustrative purposes.

• Kyungpook Mathematical Journal
• /
• v.45 no.1
• /
• pp.33-43
• /
• 2005

Clones are sets of operations which are closed under composition and contain all projections. Identities of clones of term operations of a given algebra correspond to hyperidentities of this algebra, i.e., to identities which are satisfied after any replacements of fundamental operations by derived operations ([7]). If any identity of an algebra is satisfied as a hyperidentity, the algebra is called solid ([3]). Solid algebras correspond to free clones. These connections will be extended to so-called generalized clones, to strong hyperidentities and to strongly solid varieties. On the basis of a generalized superposition operation for terms we generalize the concept of a unitary Menger algebra of finite rank ([6]) to unitary Menger algebras with infinitely many nullary operations and prove that strong hyperidentities correspond to identities in free unitary Menger algebras with infinitely many nullary operations.

• Kyungpook Mathematical Journal
• /
• v.54 no.3
• /
• pp.387-399
• /
• 2014

We show that in quasi-topological spaces, separation axiom $T_2$ is equivalent to ${\alpha}-T_2$, $T_0$ is equivalent to semi - $T_0$, and semi - $T_{\frac{1}{2}}$ is equivalent to semi - $T_D$. Also, we give characterizations for ${\alpha}-T_1$, semi - $T_1$ and semi - $T_{\frac{1}{2}}$ generalized topological spaces.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.587-592
• /
• 1996

In 1950, Nash [5] first proved the existence of equilibrium for games where the player's preferences are representable by continuous quasiconcave utilities and the strategy sets are simplexes. Next Debreu [3] proved the existence of equilibrium for abstract economies. Recently, the existence of Nash equilibrium can be further generalized in more general settings by several athors, e.g. Shafer-Sonnenschein [6], Borglin-Keiding [2], Yannelis-Prabhaker [8]. In the above results, the convexity assumption is very essential and the main proving tools are the continuous selection technique and the existence of maximal elements. Still there have been a number of generalizations and applications of equilibrium existence theorem in generalized games.

• Communications of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.279-292
• /
• 2022

In this paper we adhere to the definition of infra-topological space as it was introduced by Al-Odhari. Namely, we speak about families of subsets which contain ∅ and the whole universe X, being at the same time closed under finite intersections (but not necessarily under arbitrary or even finite unions). This slight modification allows us to distinguish between new classes of subsets (infra-open, ps-infra-open and i-genuine). Analogous notions are discussed in the language of closures. The class of minimal infra-open sets is studied too, as well as the idea of generalized infra-spaces. Finally, we obtain characterization of infra-spaces in terms of modal logic, using some of the notions introduced above.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.1
• /
• pp.19-34
• /
• 2011

A bounded linear operator T on a complex Banach space X is said to have property (I) provided that T has Bishop's property (${\beta}$) and there exists an integer p > 0 such that for a closed subset F of ${\mathbb{C}}$ ${X_T}(F)={E_T}(F)=\bigcap_{{\lambda}{\in}{\mathbb{C}}{\backslash}F}(T-{\lambda})^PX$ for all closed sets $F{\subseteq}{\mathbb{C}}$, where $X_T$(F) denote the analytic spectral subspace and $E_T$(F) denote the algebraic spectral subspace of T. Easy examples are provided by normal operators and hyponormal operators in Hilbert spaces, and more generally, generalized scalar operators and subscalar operators in Banach spaces. In this paper, we prove that if T has property (I), then the quasi-nilpotent part $H_0$(T) of T is given by $$KerT^P=\{x{\in}X:r_T(x)=0\}={\bigcap_{{\lambda}{\neq}0}(T-{\lambda})^PX$$ for all sufficiently large integers p, where ${r_T(x)}=lim\;sup_{n{\rightarrow}{\infty}}{\parallel}T^nx{\parallel}^{\frac{1}{n}}$. We also prove that if T has property (I) and the spectrum ${\sigma}$(T) is finite, then T is algebraic. Finally, we prove that if $T{\in}L$(X) has property (I) and has decomposition property (${\delta}$) then T has a non-trivial invariant closed linear subspace.

• Geomechanics and Engineering
• /
• v.13 no.4
• /
• pp.585-600
• /
• 2017

This study deals with simple solutions for a spherical or circular opening excavated in elastic-brittle plastic rock mass compatible with a linear Mohr-Coulomb (M-C) or a nonlinear Hoek-Brown (H-B) yield criterion. Based on total strain approach, the closed-form solutions of stresses and displacement are derived simultaneously for circular and spherical openings using original H-B and M-C yield criteria. Two simple numerical procedures are proposed for the solution of generalized H-B and M-C yield criteria. Based on incremental approach, the similarity solution is derived for circular and spherical openings using generalized H-B and M-C yield criteria. The classical Runge-Kutta method is used to integrate the first-order ordinary differential equations. Using three data sets for M-C and H-B models, the results of the radial displacements, the spreading of the plastic radius with decreasing pressure, and the radial and circumferential stresses in the plastic region are compared. Excellent agreement among the solutions is obtained for all cases of spherical and circular openings. The importance of the use of proper initial values in the similarity solution is discussed.

• Journal of Advanced Marine Engineering and Technology
• /
• v.31 no.6
• /
• pp.791-796
• /
• 2007

When 2 sets of PID controllers are coupled directly each other to configure a closed control loop on behalf of coupling a controller and a plant. the behaviors or this exclusive loop system are expected to be unique in inherent system responses. If its properties be disclosed and generalized well in advance, it is possible for us to use the results for the purpose of fault detection and performance monitoring between control stations from the stage of system design. particularly in such cases as cascade control systems. In this paper. general properties of the proposed system are analyzed firstly to check whether it is controllable and how its steady responses would be. To simplify calculation, the analysis has been performed based on the transfer equation derived from a modelled case which consists of 2 PI controllers and signal converters between them. including time delay element and first-lag element to consider the situation of signal transmission. The results acquired from simulation are suggested to show how it works actually.

• The Mathematical Education
• /
• v.26 no.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: