• 제목/요약/키워드: countable compactness

검색결과 10건 처리시간 0.02초

COUNTABILITY AND APPROACH THEORY

  • Lee, Hyei Kyung
    • 충청수학회지
    • /
    • 제27권4호
    • /
    • pp.581-590
    • /
    • 2014
  • In approach theory, we can provide arbitrary products of ${\infty}p$-metric spaces with a natural structure, whereas, classically only if we rely on a countable product and the question arises, then, whether properties which are derived from countability properties in metric spaces, such as sequential and countable compactness, can also do away with countability. The classical results which simplify the study of compactness in pseudometric spaces, which proves that all three of the main kinds of compactness are identical, suggest a further study of the category $pMET^{\infty}$.

ON SPACES IN WHICH THE THREE MAIN KINDS OF COMPACTNESS ARE EQUIVALENT

  • Hong, Woo-Chorl
    • 대한수학회논문집
    • /
    • 제25권3호
    • /
    • pp.477-484
    • /
    • 2010
  • In this paper, we introduce a new property (*) of a topological space and prove that if X satisfies one of the following conditions (1) and (2), then compactness, countable compactness and sequential compactness are equivalent in X; (1) Each countably compact subspace of X with (*) is a sequential or AP space. (2) X is a sequential or AP space with (*).

Variants of Compactness in Pointfree Topology

  • Banaschewski, Bernhard;Hong, Sung Sa
    • Kyungpook Mathematical Journal
    • /
    • 제45권4호
    • /
    • pp.455-470
    • /
    • 2005
  • This paper introduces compactness notions for frames which are expressed in terms of the convergence of suitably specified general filters. It establishes several preservation properties for them as well as their coreflectiveness in the setting of regular frames. Further, it shows that supercompact, compact, and $Lindel{\ddot{o}}f$ frames can be described by compactness conditions of the present form so that various familiar facts become consequences of these general results. In addition, the Prime Ideal Theorem and the Axiom of Countable Choice are proved to be equivalent to certain conditions connected with the kind of compactness considered here.

  • PDF

SEQUENTIAL COMPACTNESS AND SEMICOMPACTNESS

  • Myung, Jae Deuk;Choi, Hee Chan
    • Korean Journal of Mathematics
    • /
    • 제5권2호
    • /
    • pp.211-215
    • /
    • 1997
  • In this paper, we introduce two notions of compactness defined by sequential convergence and compare them.

  • PDF

THE EQUIVALENCE OF COMPACTNESS AND PSEUDO-COMPACTNESS IN SOME FUNCTION SPACES

  • Atkins, John;Reynolds, Donald F.;Henry, Michael
    • Kyungpook Mathematical Journal
    • /
    • 제28권1호
    • /
    • pp.79-82
    • /
    • 1988
  • This paper investigates the relationship between compactness and pseudo-compactness in subsets of C(X) where X is locally compact and first countable. Two primary theorems are proven. First, equicontinuity at a point is proven to be equivalent to the existence of a certain open cover of a pseudo-compact subset of C(X). The second theorem proves the equivalence of compactness and pseudo-compctness for closed subsets F of C(X).

  • PDF

GENERALIZED FRÉCHET-URYSOHN SPACES

  • Hong, Woo-Chorl
    • 대한수학회지
    • /
    • 제44권2호
    • /
    • pp.261-273
    • /
    • 2007
  • In this paper, we introduce some new properties of a topological space which are respectively generalizations of $Fr\'{e}chet$-Urysohn property. We show that countably AP property is a sufficient condition for a space being countable tightness, sequential, weakly first countable and symmetrizable, to be ACP, $Fr\'{e}chet-Urysohn$, first countable and semimetrizable, respectively. We also prove that countable compactness is a sufficient condition for a countably AP space to be countably $Fr\'{e}chet-Urysohn$. We then show that a countably compact space satisfying one of the properties mentioned here is sequentially compact. And we show that a countably compact and countably AP space is maximal countably compact if and only if it is $Fr\'{e}chet-Urysohn$. We finally obtain a sufficient condition for the ACP closure operator $[{\cdot}]_{ACP}$ to be a Kuratowski topological closure operator and related results.

VARIOUS COMPACT-TYPE PROPERTIES BETWEEN ω-BOUNDEDNESS AND PSEUDOCOMPACTNESS

  • CHO, MYUNG HYUN;KIM, JUN-HUI;SEO, HYO SUN
    • 호남수학학술지
    • /
    • 제26권2호
    • /
    • pp.209-218
    • /
    • 2004
  • On the analogy of total countable compactness, we study interesting subfamilies in the class of pseudocompact spaces. We show relationships between totally pseudocompact spaces, sequentially pseudocompact spaces, and DFCC spaces. We also prove relationships among densely ${\xi}$-pseudocompact, ${\xi}$-pseudocompact, and countably pracompact spaces. As a productive result on countably pracompact spaces, we will prove that if X is a countably pracompact space and Y is a countably pracompact ${\kappa}$-space, then $X{\times}Y$ is count ably pracompact.

  • PDF

SOME GEOMERTIC SOLVABILITY THEOREMS IN TOPOLOGICAL VECTOR SPACES

  • Ben-El-Mechaiekh, H.;Isac, G.
    • 대한수학회보
    • /
    • 제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.

  • PDF