• Title/Summary/Keyword: path-connected

Search Result 278, Processing Time 0.027 seconds

A NOTE ON WEAKLY PATH-CONNECTED ORTHOMODULAR LATTICES

  • Park, Eun-Soon
    • Communications of the Korean Mathematical Society
    • /
    • v.12 no.3
    • /
    • pp.513-519
    • /
    • 1997
  • We show that each orthomodular lattice containing only atomic nonpath-connected blocks is a full subalgebra of an irreducible path-connected orthomodular lattice and there is a path-connected orthomodualr lattice L containing a weakly path-connected full subalgebra C(x) for some element x in L.

  • PDF

A NOTE ON FINITE CONDITIONS OF ORTHOMODULAR LATTICES

  • Park, Eun-Soon
    • Communications of the Korean Mathematical Society
    • /
    • v.14 no.1
    • /
    • pp.31-37
    • /
    • 1999
  • We prove the following: every chain-finite OML is path-connected; every finite block of an OML L is path-connected with at least one other block in L; every OML with unifromly finite sites is path-connected.

  • PDF

Path-connected Group Extensions

  • Edler, Laurie A.;Schneider, Victor P.
    • Kyungpook Mathematical Journal
    • /
    • v.46 no.3
    • /
    • pp.445-448
    • /
    • 2006
  • Let N be a normal subgroup of a path-connected topological group (G, $t$). In this paper, the authors consider the existence of path-connectedness in refined topologies in order to address the property of maximal path-connectedness in topological groups. In particular, refinements on $t$ and refinements on the quotient topology on G/N are studied. The preservation of path-connectedness in extending topologies and translation topologies is also considered.

  • PDF

PATH-CONNECTED AND NON PATH-CONNECTED ORTHOMODULAR LATTICES

  • Park, Eun-Soon;Song, Won-Hee
    • Bulletin of the Korean Mathematical Society
    • /
    • v.46 no.5
    • /
    • pp.845-856
    • /
    • 2009
  • A block of an orthomodular lattice L is a maximal Boolean subalgebra of L. A site is a subalgebra of an orthomodular lattice L of the form S = A $\cap$ B, where A and B are distinct blocks of L. An orthomodular lattice L is called with finite sites if |A $\cap$ B| < $\infty$ for all distinct blocks A, B of L. We prove that there exists a weakly path-connected orthomodular lattice with finite sites which is not path-connected and if L is an orthomodular lattice such that the height of the join-semilattice [ComL]$\vee$ generated by the commutators of L is finite, then L is pathconnected.

APPLICATIONS OF RESULTS ON ABSTRACT CONVEX SPACES TO TOPOLOGICAL ORDERED SPACES

  • Kim, Hoonjoo
    • Bulletin of the Korean Mathematical Society
    • /
    • v.50 no.1
    • /
    • pp.305-320
    • /
    • 2013
  • Topological semilattices with path-connected intervals are special abstract convex spaces. In this paper, we obtain generalized KKM type theorems and their analytic formulations, maximal element theorems and collectively fixed point theorems on abstract convex spaces. We also apply them to topological semilattices with path-connected intervals, and obtain generalized forms of the results of Horvath and Ciscar, Luo, and Al-Homidan et al..

Conditions for Disjoint Path Coverability in Proper Interval Graphs (진구간 그래프의 서로소인 경로 커버에 대한 조건)

  • Park, Jung-Heum
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.34 no.10
    • /
    • pp.539-554
    • /
    • 2007
  • In this Paper, we investigate conditions for proper interval graphs to have k-disjoint path covers of three types each: one-to-one, one-to-many, and many-to-many. It was proved that for $k{\geq}2$, a proper interval graph is one-to-one k-disjoint path coverable if and only if the graph is k-connected, and is one-to-many k-disjoint path coverable if and only if the graph is k+1-connected. For $k{\geq}3$, a Proper interval graph is (paired) many-to-many k-disjoint path coverable if and only if the graph is 2k-1-connected.

NOTE ON NONPATH-CONNECTED ORTHOMODULAR LATTICES

  • Park, Eun-Soon
    • Communications of the Korean Mathematical Society
    • /
    • v.10 no.2
    • /
    • pp.285-292
    • /
    • 1995
  • Some nonpath-connected orthomodular lattices are given : Every infinite direct product of othomodular lattices containing infinitely many non-Boolean factors is a nonpath-connected orthomodular lattice. The orthomodular lattice of all closed subspaces of an infinite dimensional Hilbert space is a nonpath-connected orthomodular lattice.

  • PDF

Efficient Evaluation of Path Algebra Expressions

  • Lee, Tae-kyong
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.5 no.1
    • /
    • pp.1-15
    • /
    • 2000
  • In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

  • PDF

Smoothly Connected Path Generation and Time-Scheduling Method for Industrial Robot Applications (산업용로봇 작업을 위한 유연한 연결경로 생성과 시간계획)

  • Lee Won-Il;Ryu Seok-Chang;Cheong Joo-No
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.12 no.7
    • /
    • pp.671-678
    • /
    • 2006
  • This article proposes a smooth path generation and time scheduling method for general tasks defined by non-smooth path segments in industrial robotic applications. This method utilizes a simple 3rd order polynomial function for smooth interpolation between non-smooth path segments, so that entire task can effectively maintain constant line speed of operation. A predictor-corrector type numerical mapping technique, which correlates time based speed profile to the smoothed path in Cartesian space, is also provided. Finally simulation results show the feasibility of the proposed algorithm.

A NOTE ON PATH-CONNECTED ORTHOMODULAR LATTICES

  • Park, Eun-Soon
    • Journal of the Korean Mathematical Society
    • /
    • v.33 no.2
    • /
    • pp.217-225
    • /
    • 1996
  • An orthomodular lattice (abbreviated by OML) is an ortholattice L which satisfies the orthomodular law: if x $\leq$ y, then $y = x \vee (x' \wedge y)$ [5]. A Boolean algebra B is an ortholattice satisfying the distributive law : $x \vee (g \wedge z) = (x \vee y) \wedge (x \vee z) \forall x, y, z \in B$.

  • PDF