• 대한수학회보
• /
• 제47권5호
• /
• pp.915-932
• /
• 2010

The goal of this paper is to study extension problems of several continuities in computer topology. To be specific, for a set $X\;{\subset}\;Z^n$ take a subspace (X, $T_n^X$) induced from the Khalimsky nD space ($Z^n$, $T^n$). Considering (X, $T_n^X$) with one of the k-adjacency relations of $Z^n$, we call it a computer topological space (or a space if not confused) denoted by $X_{n,k}$. In addition, we introduce several kinds of k-retracts of $X_{n,k}$, investigate their properties related to several continuities and homeomorphisms in computer topology and study extension problems of these continuities in relation with these k-retracts.

• 대한수학회보
• /
• 제34권2호
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• 전자공학회논문지D
• /
• 제36D권11호
• /
• pp.33-44
• /
• 1999

3차원 위상변이 마스크의 단차 효과를 분석하기 위해 투명 경계조건, 주기적인 경계조건, 및 연속조건을 가진 경계요소법을 광 리소그래피 공정 시뮬레이션에 새로이 적용하였으며, 해석적인 해와 참고문헌의 결과와 비교함으로써 구현된 모듈의 정확성을 검증하였다. 또한, 기존의 rigorous coupled wave analysis에 의한 방법에 비해 수렴성과 계산 시간 측면에서 경계요소법을 이용하는 것이 더 효율적임을 확인하였다. 끝으로 비교적 간단한 위상변이 마스크와 다층-위상변이 마스크에 대한 최적 설계 과정을 기술하였다.

• 대한수학회지
• /
• 제47권5호
• /
• pp.1031-1054
• /
• 2010

Let $\mathbb{Z}^n$ be the Cartesian product of the set of integers $\mathbb{Z}$ and let ($\mathbb{Z}$, T) and ($\mathbb{Z}^n$, $T^n$) be the Khalimsky line topology on $\mathbb{Z}$ and the Khalimsky product topology on $\mathbb{Z}^n$, respectively. Then for a set $X\;{\subset}\;\mathbb{Z}^n$, consider the subspace (X, $T^n_X$) induced from ($\mathbb{Z}^n$, $T^n$). Considering a k-adjacency on (X, $T^n_X$), we call it a (computer topological) space with k-adjacency and use the notation (X, k, $T^n_X$) := $X_{n,k}$. In this paper we introduce the notions of KD-($k_0$, $k_1$)-homotopy equivalence and KD-k-deformation retract and investigate a classification of (computer topological) spaces $X_{n,k}$ in terms of a KD-($k_0$, $k_1$)-homotopy equivalence.

• 호남수학학술지
• /
• 제26권4호
• /
• pp.411-421
• /
• 2004

A digital $(k_0,\;k_1)$-homotopy is induced from digital $(k_0,\;k_1)$-continuity with the n kinds of $k_i$-adjacency relations in ${\mathbb{Z}}^n$, $i{\in}\{0,\;1\}$. The k-fundamental group, ${\pi}^k_1(X,\;x_0)$, is derived from the pointed digital k-homotopy, $k{\in}\{3^n-1(n{\geq}2),\;3^n-{\sum}^{r-2}_{k=0}C^n_k2^{n-k}-1(2{\leq}r{\leq}n-1(n{\geq}3)),\;2n(n{\geq}1)\}$. In this paper two kinds of digital 8-pseudotori stemmed from the minimal simple closed 4-curve and the minimal simple closed 8-curve with 8-contractibility or without 8-contractibility, e.g., $DT_8$ and $DT^{\prime}_8$, are introduced and their digital topological properties are studied by the calculation of the k-fundamental groups, $k{\in}\{8,\;32,\;64,\;80\}$.

• Journal of applied mathematics & informatics
• /
• 제42권3호
• /
• pp.583-605
• /
• 2024

This paper discusses the properties of attractors of Type 1 IFS which construct self similar fractals on product spaces. General results like continuity theorem and Collage theorem for Type 1 IFS are established. An algebraic equivalent condition for the open set condition is studied to characterize the points outside a feasible open set. Connectedness properties of Type 1 IFS are mainly discussed. Equivalence condition for connectedness, arc wise connectedness and locally connectedness of a Type 1 IFS is established. A relation connecting separation properties and topological properties of Type 1 IFS attractors is studied using a generalized address system in product spaces. A construction of 3D fractal images is proposed as an application of the Type 1 IFS theory.