MINIMAL LINEARLY ORDERED COMPACTIFICATION AND κ-PARACOMPACTNESS

徐爱军,师维学

DOI: https://doi.org/10.3969/j.issn.0469-5097.2009.02.004

2009-01-01

Abstract:In this paper,we construct a minimal linearly ordered compactification for any GO-space and characterizeκ-paracompactness of GO-spaces by minimal linearly ordered compactification.

What problem does this paper attempt to address?

Global Pinching Theorems for Minimal Submanifolds in a Complex Projective Space

Dong Pu,Hongwei Xu

DOI: https://doi.org/10.4310/ajm.2021.v25.n2.a6

2021-01-01

Asian Journal of Mathematics

Abstract:In this paper, we investigate the compact minimal submanifold M-n(n >= 3) in the complex projective space CPn+p/2 (1). Denote by S the square norm of the second fundamental form. Set, (S) over tilde = S + 1/2 vertical bar t vertical bar(2) and epsilon = inf(M)vertical bar P vertical bar(2) , where P, t are the tensors defined in (2.1) below. We first, prove such that if parallel to S parallel to(n/2) < alpha 1 (n, epsilon) for epsilon > 0, then M is a totally geodesic submanifold CPn/2. Moreover, we prove if parallel to(S) over tilde parallel to(n/2) < alpha 3(n), where alpha 3(n) is an explicit positive constant depending only on n, then M is a totally geodesic submanifold CPn/2. We also prove other global pinching theorems for minimal submanifolds in the complex projective space.
A Note on Compact Semi-stratifiable Ordered Extensions of GO-spaces

SHI Wei-xue,JIANG Guang-hao

DOI: https://doi.org/10.3969/j.issn.1674-3873.2007.03.002

2007-01-01

Abstract:Recently H. Bennett and D. Lutzer proved a result on linearly ordered extensions of quarter-stratifiable GO-spaces which says that for a GO-space X,the statement that X is quarter-stratifiable and the linearly ordered extension of X is perfect is equivalent to that X is quarter-stratifiable,to that X is metrizable and to that X is metrizable.In this paper,we generabize Bennett and Lutzer's result and obtain the similiar result about compact semi-stratifiable ordered extension of GO-space.
Topologically subordered rectifiable spaces and compactifications

Fucai Lin

DOI: https://doi.org/10.1016/j.topol.2011.10.001

IF: 0.583

2012-01-01

Topology and its Applications

Abstract:A topological space G is said to be a rectifiable space provided that there are a surjective homeomorphism φ:G×G→G×G and an element e∈G such that π1∘φ=π1 and for every x∈G we have φ(x,x)=(x,e), where π1:G×G→G is the projection to the first coordinate. In this paper, we mainly discuss the rectifiable spaces which are suborderable, and show that if a rectifiable space is suborderable then it is metrizable or a totally disconnected P-space, which improves a theorem of A.V. Arhangelʼskiı̌ (2009) in [8]. As an application, we discuss the remainders of the Hausdorff compactifications of GO-spaces which are rectifiable, and we mainly concerned with the following statement, and under what condition Φ it is true.StatementSuppose that G is a non-locally compact GO-space which is rectifiable, and that Y=bG∖G has (locally) a property-Φ. Then G and bG are separable and metrizable.Moreover, we also consider some related matters about the remainders of the Hausdorff compactifications of rectifiable spaces.

mathematics, applied
A Note on Paracompact P-Spaces and the Monotone D-Property

Yin-Zhu Gao,Wei-Xue Shi

DOI: https://doi.org/10.1017/s0004972710001991

2011-01-01

Bulletin of the Australian Mathematical Society

Abstract:For any generalized ordered space X with the underlying linearly ordered topological space X(u), let X* be the minimal closed linearly ordered extension of X and X be the minimal dense linearly ordered extension of X. The following results are obtained.(1) The projection mapping pi : X* -> X, pi(< x, i >) = x, is closed.(2) The projection mapping phi : (X) over tilde -> X(u), phi(< x, i >) = x, is closed.(3) X* is a monotone D-space if and only if X is a monotone D-space.(4) (X) over tilde is a monotone D-space if and only if X(u) is a monotone D-space.(5) For the Michael line M, (M) over tilde is a paracompact p-space, but not continuously Urysohn.
Perfect Go-Spaces Which Have A Perfect Linearly Ordered Extension

WX Shi

DOI: https://doi.org/10.1016/s0166-8641(97)00019-9

IF: 0.583

1997-01-01

Topology and its Applications

Abstract:It is an old problem posed by Bennett and Lutzer whether every perfect GO-space has a perfect orderable extension. As an approach to this problem, we prove that, for a perfect GO-space X, Xhas a perfect linearly ordered extension if and only if there is a σ-discrete subset F such that GOX(∅, X − F, F, ∅) is perfect, where GOX(∅, X − F, F, ∅) is the ordered set X with the topology defined so that every point in F is isolated and every point in X − F has the usual interval neighborhood base.
Definable compactness in o-minimal structures

Pablo andújar Guerrero

2024-05-12

Abstract:We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types and definable downward directed families of closed sets.

Logic,General Topology
COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

MS YING

DOI: https://doi.org/10.1002/malq.19920380147

1992-01-01

Abstract:We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Lowenheim-Skolem property is preserved by finite direct products of lattices of truth values. MSC: 03C07, 03B50.
On Rigid Minimal Spaces

Jan P Boroński,Jernej Činč,Magdalena Foryś-Krawiec

DOI: https://doi.org/10.1007/s10884-020-09845-4

Abstract:A compact space X is said to be minimal if there exists a map f : X → X such that the forward orbit of any point is dense in X. We consider rigid minimal spaces, motivated by recent results of Downarowicz, Snoha and Tywoniuk (J Dyn Differ Equ, 29:243-257, 2017) on spaces with cyclic group of homeomorphisms generated by a minimal homeomorphism, and results of the first author, Clark and Oprocha (Adv Math, 335:261-275, 2018) on spaces in which the square of every homeomorphism is a power of the same minimal homeomorphism. We show that the two classes do not coincide, which gives rise to a new class of spaces that admit minimal homeomorphisms, but no minimal maps. We modify the latter class of examples to show for the first time existence of minimal spaces with degenerate homeomorphism groups. Finally, we give a method of constructing decomposable compact and connected spaces with cyclic group of homeomorphisms, generated by a minimal homeomorphism, answering a question in Downarowicz et al.
A Characterization of Monotonically Lindelöf Generalized Ordered Spaces

Yin-Zhu Gao,Wei-Xue Shi

DOI: https://doi.org/10.1016/j.topol.2015.05.018

IF: 0.583

2015-01-01

Topology and its Applications

Abstract:A space X is said to be monotonically Lindelöf if for any open cover U of X, there exists a countable open cover rU such that rU refines U and if an open cover V of X refines U, then rV refines rU. Gruenhage shows that every Lindelöf first-countable GO-space is monotonically Lindelöf. In the paper we obtain the following result: A Lindelöf GO-space X is monotonically Lindelöf if and only if X has no subspace homeomorphic to a stationary subset of a regular ordinal ⩾ω1; the closure of the set of all points with character ω1 is monotonically Lindelöf.
A note on noncompact logics

Vera Koponen

DOI: https://doi.org/10.48550/arXiv.1207.4067

2013-04-12

Abstract:A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to prove that for a number of natural properties P speaking about automorphism groups, every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The basic idea underlying the results and examples presented here is that, using results from random graph theory, it is possible to construct a countable first-order theory T such that every model of T has a very rich automorphism group, but every finite subset of T has a model which is rigid.

Logic
Coarser Compact Topologies

Valentin Gutev

DOI: https://doi.org/10.48550/arXiv.1805.10947

2018-05-28

General Topology

Abstract:It is introduced the concept of a quasi-king space, which is a natural generalisation of a king space. In the realm of suborderable spaces, king spaces are precisely the compact spaces, so are the quasi-king spaces. In contrast, quasi-king spaces are more flexible in handling coarser selection topologies. The main purpose of this paper is to show that a weakly orderable space is quasi-king if and only if all of its coarser selection topologies are compact.
Compact Operations on Model Spaces

Isabelle Chalendar,William T. Ross

DOI: https://doi.org/10.48550/arXiv.1603.01370

2016-03-04

Abstract:We give a characterization of the compact operators on a model space in terms of asymptotic Toeplitz operators.

Functional Analysis
A result on monotonically metacompact spaces

Aijun Xu,WEIxUE SHI

2013-01-01

Houston journal of mathematics

Abstract:We answer a question of H.R. Bennett, K.P. Hart and D.J. Lutzer by showing that any generalized ordered space is monotonically (countably) metacompact if its subspace consisting of non-isolated points is monotonically (countably) metacompact.
On Topological Spaces with Algebraic Structures

WANG Hanfeng,HE Wei

DOI: https://doi.org/10.11845/sxjz.2015187b

2017-01-01

Abstract:In this paper,we show that if a rectifiable space G is a locally Lindel(o)f ∑-space,then G is strongly paracompact,which improves a result given by Lin-Zhang-Zhang [Topology Appl.,2015,193:182-191].We prove that if a rectifiable space G has a compactification bG such that bG \ G is a locally σ-space,then G is either locally compact or separable and metrizable,which generalizes a result obtained by Arhangel'skii-Choban [Topology Appl.,2010,157(4):789-799].We also show that if a non-locally compact k-gentle paratopological group G has a compactification bG such that bG \ G has locally a Gδ-diagonal,then either G is a σcompact cosmic space,or bG is separable and metrizable,which generalizes two results given by Arhangel'skii [Topology Appl.,2007,154(6):1084-1088] and Liu [Topology Appl.,2009,156(5):849-854].
On the hereditary paracompactness of locally compact, hereditarily normal spaces

Paul Larson,Franklin D. Tall

DOI: https://doi.org/10.48550/arXiv.1104.3468

2011-04-18

Abstract:We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of omega_1 is hereditarily paracompact.

General Topology,Logic
On the Parameterized Complexity of Compact Set Packing

Ameet Gadekar

DOI: https://doi.org/10.1007/s00453-024-01269-6

IF: 0.909

2024-09-14

Algorithmica

Abstract:The Set Packing problem is, given a collection of sets over a ground set U , to find a maximum collection of sets that are pairwise disjoint. The problem is among the most fundamental NP-hard optimization problems that have been studied extensively in various computational regimes. The focus of this work is on parameterized complexity, Parameterized Set Packing ( PSP ): Given parameter , is there a collection such that the sets in are pairwise disjoint? Unfortunately, the problem is not fixed parameter tractable unless , and, in fact, an "enumerative" running time of is required unless the exponential time hypothesis (ETH) fails. This paper is a quest for tractable instances of Set Packing from parameterized complexity perspectives. We say that the input is "compact" if , for some . In the Compact PSP problem, we are given a compact instance of PSP . In this direction, we present a "dichotomy" result of PSP : When , PSP is in FPT , while for , the problem is W[1] -hard; moreover, assuming ETH, Compact PSP does not admit time algorithm even when . Although certain results in the literature imply hardness of compact versions of related problems such as Set -Covering and Exact -Covering , these constructions fail to extend to Compact PSP . A novel contribution of our work is the identification and construction of a gadget, which we call Compatible Intersecting Set System pair, that is crucial in obtaining the hardness result for Compact PSP . Finally, our framework can be extended to obtain improved running time lower bounds for Compact -VectorSum .

computer science, software engineering,mathematics, applied
$P$-Paracompact and $P$-Metrizable Spaces

Ziqin Feng,Paul Gartside,Jeremiah Morgan

DOI: https://doi.org/10.48550/arXiv.1501.01949

2015-01-09

Abstract:Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{$P$-locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq \mathcal{C}_{p'}$ and (ii) each $\mathcal{C}_p$ is locally finite. Then $X$ is \emph{$P$-paracompact} if every open cover has a $P$-locally finite open refinement. Further, $X$ is \emph{$P$-metrizable} if it has a $(P \times \mathbb{N})$-locally finite base. This work provides the first detailed study of $P$-paracompact and $P$-metrizable spaces, particularly in the case when $P$ is a $\mathcal{K}(M)$, the set of all compact subsets of a separable metrizable space $M$ ordered by set inclusion.

General Topology
Wonderful compactification of an arrangement of subvarieties

Li Li

DOI: https://doi.org/10.48550/arXiv.math/0611412

2009-01-01

Abstract:We define the wonderful compactification of an arrangement of subvarieties. Given a complex nonsingular algebraic variety $Y$ and certain collection $\mathcal{G}$ of subvarieties of $Y$, the wonderful compactification $Y_\mathcal{G}$ can be constructed by a sequence of blow-ups of $Y$ along the subvarieties of the arrangement. This generalizes the Fulton-MacPherson configuration spaces and the wonderful models given by De Concini and Procesi. We give a condition on the order of blow-ups in the construction of $Y_\mathcal{G}$ such that each blow-up is along a nonsingular center.

Algebraic Geometry
Minimal compactifications of the affine plane with only star-shaped singularities

Masatomo Sawahara

2024-09-06

Abstract:We consider minimal compactifications of the complex affine plane. Minimal compactifications of the affine plane with at most log canonical singularities are classified. Moreover, every minimal compactification of the affine plane with at most log canonical singularities has only star-shaped singular points. In this article, we classify minimal compactifications of the affine plane with only star-shaped singular points.

Algebraic Geometry
Connected and Sequentially Compact Rectifiable Spaces

ZHANG Jing,HE Wei

DOI: https://doi.org/10.11845/sxjz.2013146b

2015-01-01

Abstract:In this note, we mainly investigate the connected, sequentially compact and κ-Frechet-Urysohn properties of rectifiable spaces. It is showed that: (1) If G is a locally σ-sequentially compact rectifiable space with the Souslin property, then G is σ-sequentially compact; (2) Every connected locally σ-compact rectifiable space G is σ-compact; (3) If every compact (resp. countably compact, sequentially compact) subspace of a rectifiable space G is Frechet-Urysohn, then every compact (resp. countably compact, sequentially compact) sub- space of G is strongly Frechet-Urysohn. These results generalize the corresponding results in topological groups.

MINIMAL LINEARLY ORDERED COMPACTIFICATION AND κ-PARACOMPACTNESS

Global Pinching Theorems for Minimal Submanifolds in a Complex Projective Space

A Note on Compact Semi-stratifiable Ordered Extensions of GO-spaces

Topologically subordered rectifiable spaces and compactifications

A Note on Paracompact P-Spaces and the Monotone D-Property

Perfect Go-Spaces Which Have A Perfect Linearly Ordered Extension

Definable compactness in o-minimal structures

COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

On Rigid Minimal Spaces

A Characterization of Monotonically Lindelöf Generalized Ordered Spaces

A note on noncompact logics

Coarser Compact Topologies

Compact Operations on Model Spaces

A result on monotonically metacompact spaces

On Topological Spaces with Algebraic Structures

On the hereditary paracompactness of locally compact, hereditarily normal spaces

On the Parameterized Complexity of Compact Set Packing

$P$-Paracompact and $P$-Metrizable Spaces

Wonderful compactification of an arrangement of subvarieties

Minimal compactifications of the affine plane with only star-shaped singularities

Connected and Sequentially Compact Rectifiable Spaces