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

An Einstein's connection which takes the form (2.23) is called a $^*g$-ME-connection and the corresponding vector is called a $^*g$-ME-vector. The $^*g$-ME-manifold is a generalized n-dimensional Riemannian manifold $X_n$ on which the differential geometric structure is imposed by the unified field tensor $^*g^{{\lambda}{\nu}}$, satisfying certain conditions, through the $^*g$-ME-connection and we denote it by $^*g-MEX_n$. The purpose of this paper is to derive a general representation and a special representation of the $^*g$-ME-vector in $^*g-MEX_n$.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.263-271
• /
• 2024

A vertex coloring of a graph G is called injective if any two vertices with a common neighbor receive distinct colors. A graph G is injectively k-choosable if any list L of admissible colors on V (G) of size k allows an injective coloring 𝜑 such that 𝜑(v) ∈ L(v) whenever v ∈ V (G). The least k for which G is injectively k-choosable is denoted by χ^l_i(G). For a planar graph G, Bu et al. proved that χ^l_i(G) ≤ ∆ + 6 if girth g ≥ 5 and maximum degree ∆(G) ≥ 8. In this paper, we improve this result by showing that χ^l_i(G) ≤ ∆ + 6 for g ≥ 5 and arbitrary ∆(G).

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.7 no.2
• /
• pp.83-94
• /
• 2003

Let K be a nonempty closed convex subset of a real Hilbert space H. Approximation solvability of a system of nonlinear variational inequality (SNVI) problems, based on the convergence of projection methods, is given as follows: find elements $x^*,\;y^*{\in}H$ such that $g(x^*),\;g(y^*){\in}K$ and $$<\;{\rho}T(y^*)+g(x^*)-g(y^*),\;g(x)-g(x^*)\;{\geq}\;0\;{\forall}\;g(x){\in}K\;and\;for\;{\rho}>0$$ $$<\;{\eta}T(x^*)+g(y^*)-g(x^*),\;g(x)-g(y^*)\;{\geq}\;0\;{\forall}g(x){\in}K\;and\;for\;{\eta}>0,$$ where T: $H\;{\rightarrow}\;H$ is a relaxed $g-{\gamma}-r-cocoercive$ and $g-{\mu}-Lipschitz$ continuous nonlinear mapping on H and g: $H{\rightarrow}\;H$ is any mapping on H. In recent years general variational inequalities and their algorithmic have assumed a central role in the theory of variational methods. This two-step system for nonlinear variational inequalities offers a great promise and more new challenges to the existing theory of general variational inequalities in terms of applications to problems arising from other closely related fields, such as complementarity problems, control and optimizations, and mathematical programming.

• Korean Journal of Mathematics
• /
• v.19 no.2
• /
• pp.181-189
• /
• 2011

Let G be a group and X be a nonempty set and H be a subgroup of G. For a given ${\phi}_G\;:\;G{\times}X{\rightarrow}X$, a group action of G on X, we define ${\phi}_H\;:\;H{\times}X{\rightarrow}X$, a subgroup action of H on X, by ${\phi}_H(h,x)={\phi}_G(h,x)$ for all $(h,x){\in}H{\times}X$. In this paper, by considering a subgroup action of H on X, we have some results as follows: (1) If H,K are two normal subgroups of G such that $H{\subseteq}K{\subseteq}G$, then for any $x{\in}X$ ($orb_{{\phi}_G}(x)\;:\;orb_{{\phi}_H}(x)$) = ($orb_{{\phi}_G}(x)\;:\;orb_{{\phi}_K}(x)$) = ($orb_{{\phi}_K}(x)\;:\;orb_{{\phi}_H}(x)$); additionally, in case of $K{\cap}stab_{{\phi}_G}(x)$ = {1}, if ($orb_{{\phi}_G}(x)\;:\;orb_{{\phi}H}(x)$) and ($orb_{{\phi}_K}(x)\;:\;orb_{{\phi}_H}(x)$) are both finite, then ($orb_{{\phi}_G}(x)\;:\;orb_{{\phi}_H}(x)$) is finite; (2) If H is a cyclic subgroup of G and $stab_{{\phi}_H}(x){\neq}$ {1} for some $x{\in}X$, then $orb_{{\phi}_H}(x)$ is finite.

• Kyungpook Mathematical Journal
• /
• v.59 no.3
• /
• pp.363-375
• /
• 2019

Let G = (V, E) be a simple graph with p vertices and q edges. A subset S of V (G) is called a strong (weak) efficient dominating set of G if for every $v{\in}V(G)$ we have ${\mid}N_s[v]{\cap}S{\mid}=1$ (resp. ${\mid}N_w[v]{\cap}S{\mid}=1$), where $N_s(v)=\{u{\in}V(G):uv{\in}E(G),\;deg(u){\geq}deg(v)\}$. The minimum cardinality of a strong (weak) efficient dominating set of G is called the strong (weak) efficient domination number of G and is denoted by ${\gamma}_{se}(G)$ (${\gamma}_{we}(G)$). A graph G is strong efficient if there exists a strong efficient dominating set of G. In this paper, some cycle and star related Nordhaus-Gaddum type relations on strong efficient dominating sets and the number of strong efficient dominating sets are studied.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.31-46
• /
• 2021

Let a and b be positive integers, and let V (G), ��(G), and ��2(G) be the vertex set of a graph G, the minimum degree of G, and the minimum degree sum of two non-adjacent vertices in V (G), respectively. An even [a, b]-factor of a graph G is a spanning subgraph H such that for every vertex v ∈ V (G), dH(v) is even and a ≤ dH(v) ≤ b, where dH(v) is the degree of v in H. Matsuda conjectured that if G is an n-vertex 2-edge-connected graph such that $n{\geq}2a+b+{\frac{a^2-3a}{b}}-2$, ��(G) ≥ a, and ${\sigma}_2(G){\geq}{\frac{2an}{a+b}}$, then G has an even [a, b]-factor. In this paper, we provide counterexamples, which are highly connected. Furthermore, we give sharp sufficient conditions for a graph to have an even [a, b]-factor. For even an, we conjecture a lower bound for the largest eigenvalue in an n-vertex graph to have an [a, b]-factor.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.371-386
• /
• 1998

Let G be a compact Lie group and M a semialgebraic G space in some orthogonal representation space of G. We prove that if G is finite then M has an equivariant semialgebraic triangulation. Moreover this triangulation is unique. When G is not finite we show that M has a semialgebraic G CW complex structure, and this structure is unique. As a consequence compact semialgebraic G space has an equivariant simple homotopy type.

• Communications of the Korean Mathematical Society
• /
• v.10 no.4
• /
• pp.949-961
• /
• 1995

Let f be a smooth G map from a nonsingular real algebraic G variety to an equivariant Grassmann variety. We use some G vector bundle theory to find a necessary and sufficient condition to approximate f by an entire rational G map. As an application we algebraically approximate a smooth G map between G spheres when G is an abelian group.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.221-231
• /
• 1995

Let $Z_1, Z_2, \ldots, Z_l$ be random set functions or intergrals. Then it is possible to discuss their products. In the case of random integrals, $Z_i$ is a random set function indexed y a family, $G_i$ say, of real valued functions g on $S_i$ for which the integrals $Z_i(g) = \smallint gdZ_i$ are well defined. If $g_i = \in g_i (i = 1, 2, \ldots, l) and g_1 \otimes \cdots \otimes g_l$ denotes the tensor product $g(s) = g_1(s_1)g_2(s_2) \cdots g_l(s_l) for s = (s_1, s_2, \ldots, s_l) and s_i \in S_i$, then we can defined $Z(g) = (Z_1 \times Z_2 \times \cdots \times Z_l)(g) = Z_1(g_1)Z_2(g_2) \cdots Z_l(g_l)$.

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.249-256
• /
• 2009

Let $G{\otimes}G$ be the tensor square of a group G. The set of all elements a in G such that $a{\otimes}g\;=\;1_{\otimes}$, for all g in G, is called the tensor centre of G and denoted by $Z^{\otimes}^$(G). In this paper some properties of the tensor centre of G are obtained and the capability of the pair of groups (G, G') is determined. Finally, the structure of $J_2$(G) will be described, where $J_2$(G) is the kernel of the map $\kappa$ : $G{\otimes}\;{\rightarrow}\;G'$.