共查询到20条相似文献,搜索用时 62 毫秒
1.
A space X is κ-resolvable (resp. almost κ-resolvable) if it contains κ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X).Answering a problem raised by Juhász, Soukup, and Szentmiklóssy, and improving a consistency result of Comfort and Hu, we prove, in ZFC, that for every infinite cardinal κ there is an almost κ2-resolvable but not ω1-resolvable space of dispersion character κ. 相似文献
2.
W.W. Comfort 《Topology and its Applications》2010,157(5):839-856
The recent literature offers examples, specific and hand-crafted, of Tychonoff spaces (in ZFC) which respond negatively to these questions, due respectively to Ceder and Pearson (1967) [3] and to Comfort and García-Ferreira (2001) [5]: (1) Is every ω-resolvable space maximally resolvable? (2) Is every maximally resolvable space extraresolvable? Now using the method of KID expansion, the authors show that every suitably restricted Tychonoff topological space (X,T) admits a larger Tychonoff topology (that is, an “expansion”) witnessing such failure. Specifically the authors show in ZFC that if (X,T) is a maximally resolvable Tychonoff space with S(X,T)?Δ(X,T)=κ, then (X,T) has Tychonoff expansions U=Ui (1?i?5), with Δ(X,Ui)=Δ(X,T) and S(X,Ui)?Δ(X,Ui), such that (X,Ui) is: (i=1) ω-resolvable but not maximally resolvable; (i=2) [if κ′ is regular, with S(X,T)?κ′?κ] τ-resolvable for all τ<κ′, but not κ′-resolvable; (i=3) maximally resolvable, but not extraresolvable; (i=4) extraresolvable, but not maximally resolvable; (i=5) maximally resolvable and extraresolvable, but not strongly extraresolvable. 相似文献
3.
David Milovich 《Topology and its Applications》2011,158(18):2528-2534
4.
Hajnal and Juhász proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelöf. The example constructed is a topological subgroup H⊆ω12 that is an HFD with the following property
- (P)
- the projection of H onto every partial product I2 for I∈ω[ω1] is onto.
5.
Given a partially ordered set P there exists the most general Boolean algebra which contains P as a generating set, called the free Boolean algebra over P. We study free Boolean algebras over posets of the form P=P0∪P1, where P0, P1 are well orderings. We call them nearly ordinal algebras.Answering a question of Maurice Pouzet, we show that for every uncountable cardinal κ there are κ2 pairwise non-isomorphic nearly ordinal algebras of cardinality κ.Topologically, free Boolean algebras over posets correspond to compact 0-dimensional distributive lattices. In this context, we classify all closed sublattices of the product (ω1+1)×(ω1+1), showing that there are only ℵ1 many types. In contrast with the last result, we show that there are ℵ12 topological types of closed subsets of the Tikhonov plank (ω1+1)×(ω+1). 相似文献
6.
Miroslav Hušek 《Topology and its Applications》2007,154(10):2104-2109
As applications of productivity of coreflective classes of topological spaces, the following results will be proved: (1) Characters of points of βN?N are not smaller than any submeasurable cardinal less or equal to ω2. (2) If κ is a submeasurable cardinal and S is a sequential fan with κ many spines then the tightness of the κ-power of S is equal to κ. In fact, a little more general results are proved. 相似文献
7.
Alexey Ostrovsky 《Topology and its Applications》2009,156(9):1749-1751
The aim of this note is to prove the following result:Assume that f is a continuous function from the space of irrationals ωω onto Y such that the image f(U) of every set U which is open and closed in ωω is the union of one open and one closed set. Then Y is a completely metrizable space. 相似文献
8.
We study Tukey types of ultrafilters on ω, focusing on the question of when Tukey reducibility is equivalent to Rudin-Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many ultrafilters that are Tukey below any basically generated ultrafilter. The class of basically generated ultrafilters includes all known ultrafilters that are not Tukey above [ω1]<ω. We give a complete characterization of all ultrafilters that are Tukey below a selective. A counterexample showing that Tukey reducibility and RK reducibility can diverge within the class of P-points is also given. 相似文献
9.
Lajos Soukup 《Topology and its Applications》2011,158(5):697-707
We show that it is relatively consistent with ZFC that ω2 is arbitrarily large and every sequence s=〈sα:α<ω2〉 of infinite cardinals with sα?ω2 is the cardinal sequence of some locally compact scattered space. 相似文献
10.
Marion Scheepers 《Topology and its Applications》2011,158(13):1575-1583
We show that:
- (1)
- Rothberger bounded subgroups of σ-compact groups are characterized by Ramseyan partition relations (Corollary 4).
- (2)
- For each uncountable cardinal κ there is a T0 topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is not a closed subspace of any σ-compact space (Theorem 8).
- (3)
- For each uncountable cardinal κ there is a T0 topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is σ-compact (Corollary 17).
11.
In this paper we show that if X is an infinite compactum cleavable over an ordinal, then X must be homeomorphic to an ordinal. X must also therefore be a LOTS. This answers two fundamental questions in the area of cleavability. We also leave it as an open question whether cleavability of an infinite compactum X over an ordinal λ implies X is embeddable into λ. 相似文献
12.
Komjáth in 1984 proved that, for each sequence (An) of analytic subsets of a Polish space X, if lim supn∈HAn is uncountable for every H∈ω[N] then ?n∈GAn is uncountable for some G∈ω[N]. This fact, by our definition, means that the σ-ideal [X]?ω has property (LK). We prove that every σ-ideal generated by X/E has property (LK), for an equivalence relation E⊂X2 of type Fσ with uncountably many equivalence classes. We also show the parametric version of this result. Finally, the invariance of property (LK) with respect to various operations is studied. 相似文献
13.
We investigate mutual behavior of cascades, contours of which are contained in a fixed ultrafilter. This allows us to prove (ZFC) that the class of strict Jωω-ultrafilters, introduced by J.E. Baumgartner in [2], is empty. We translate the result to the language of <∞-sequences under an ultrafilter, investigated by C. Laflamme in [17], and we show that if there is an arbitrary long finite <∞-sequence under u, then u is at least a strict Jωω+1-ultrafilter. 相似文献
14.
Tamás Mátrai 《Topology and its Applications》2010,157(8):1479-1484
We recall from [T. Mátrai, Kenilworth, Proc. Amer. Math. Soc. 137 (3) (2009) 1115-1125] a Gδσ-ideal of compact subsets of ω2 and prove that it is not Tukey reducible to the ideal . This result answers a question of S. Solecki and S. Todor?evi? in the negative. 相似文献
15.
Ioannis Souldatos 《Annals of Pure and Applied Logic》2012,163(3):225-237
We say that a countable model M completely characterizes an infinite cardinal κ, if the Scott sentence of M has a model in cardinality κ, but no models in cardinality κ+. If a structure M completely characterizes κ, κ is called characterizable. In this paper, we concern ourselves with cardinals that are characterizable by linearly ordered structures (cf. Definition 2.1).Under the assumption of GCH, Malitz completely resolved the problem by showing that κ is characterizable if and only if κ=ℵα, for some α<ω1 (cf. Malitz (1968) [7] and Baumgartner (1974) [1]). Our results concern the case where GCH fails.From Hjorth (2002) [3], we can deduce that if κ is characterizable, then κ+ is characterizable by a densely ordered structure (see Theorem 2.4 and Corollary 2.5).We show that if κ is homogeneously characterizable (cf. Definition 2.2), then κ is characterizable by a densely ordered structure, while the converse fails (Theorem 2.3).The main theorems are (1) If κ>2λ is a characterizable cardinal, λ is characterizable by a densely ordered structure and λ is the least cardinal such that κλ>κ, then κλ is also characterizable (Theorem 5.4) and (2) if ℵα and κℵα are characterizable cardinals, then the same is true for κℵα+β, for all countable β (Theorem 5.5).Combining these two theorems we get that if κ>2ℵα is a characterizable cardinal, ℵα is characterizable by a densely ordered structure and ℵα is the least cardinal such that κℵα>κ, then for all β<α+ω1, κℵβ is characterizable (Theorem 5.7). Also if κ is a characterizable cardinal, then κℵα is characterizable, for all countable α (Corollary 5.6). This answers a question of the author in Souldatos (submitted for publication) [8]. 相似文献
16.
Yevhen Zelenyuk 《Topology and its Applications》2006,153(14):2382-2385
We introduce the notion of a partially selective ultrafilter and prove that (a) if G is an extremally disconnected topological group and p is a converging nonprincipal ultrafilter on G containing a countable discrete subset, then p is partially selective, and (b) the existence of a nonprincipal partially selective ultrafilter on a countable set implies the existence of a P-point in ω∗. Thus it is consistent with ZFC that there is no extremally disconnected topological group containing a countable discrete nonclosed subset. 相似文献
17.
Alan Dow 《Topology and its Applications》2010,157(8):1379-1857
We consider generalizations of a well-known class of spaces, called by S. Mrówka, N∪R, where R is an infinite maximal almost disjoint family (MADF) of countable subsets of the natural numbers N. We denote these generalizations by ψ=ψ(κ,R) for κ?ω. Mrówka proved the interesting theorem that there exists an R such that |βψ(ω,R)?ψ(ω,R)|=1. In other words there is a unique free z-ultrafilter p0 on the space ψ. We extend this result of Mrówka to uncountable cardinals. We show that for κ?c, Mrówka's MADF R can be used to produce a MADF M⊂ω[κ] such that |βψ(κ,M)?ψ(κ,M)|=1. For κ>c, and every M⊂ω[κ], it is always the case that |βψ(κ,M)?ψ(κ,M)|≠1, yet there exists a special free z-ultrafilter p on ψ(κ,M) retaining some of the properties of p0. In particular both p and p0 have a clopen local base in βψ (although βψ(κ,M) need not be zero-dimensional). A result for κ>c, that does not apply to p0, is that for certain κ>c, p is a P-point in βψ. 相似文献
18.
We consider which ordinals, with the order topology, can be Stone-?ech remainders of which spaces of the form ψ(κ,M), where ω?κ is a cardinal number and M⊂ω[κ] is a maximal almost disjoint family of countable subsets of κ (MADF). The cardinality of the continuum, denoted c, and its successor cardinal, c+, play important roles. We show that if κ>c+, then no ψ(κ,M) has any ordinal as a Stone-?ech remainder. If κ?c then for every ordinal δ<κ+ there exists Mδ⊂ω[κ], a MADF, such that βψ(κ,Mδ)?ψ(κ,Mδ) is homeomorphic to δ+1. For κ=c+, βψ(κ,Mδ)?ψ(κ,Mδ) is homeomorphic to δ+1 if and only if c+?δ<c+⋅ω. 相似文献
19.
Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put
Cλ(α)={f∈C(α):f(0)=λ=min[f(β):β<α]}. 相似文献
20.
Mikhail Tkachenko 《Topology and its Applications》2009,156(12):2158-2165
A topological Abelian group G is called (strongly) self-dual if there exists a topological isomorphism Φ:G→G∧ of G onto the dual group G∧ (such that Φ(x)(y)=Φ(y)(x) for all x,y∈G). We prove that every countably compact self-dual Abelian group is finite. It turns out, however, that for every infinite cardinal κ with κω=κ, there exists a pseudocompact, non-compact, strongly self-dual Boolean group of cardinality κ. 相似文献