Sign up or sign in

Set-Theoretic Topology

This special session is dedicated to the memory of Gary Gruenhage.

Accepted Submissions:

A bound for the density of any Hausdorff space — Nathan Carlson

We show, in a certain specific sense, that both the density and the cardinality of a Hausdorff space are related to the "degree" to which the space is nonregular. It was shown by Sapirovskii that d(X)πχ(X)c(X) for a regular space X and the speaker observed this holds if the space is only quasiregular. We generalize this result to the class of all Hausdorff spaces by introducing the nonquasiregularity degree nq(X), which is countable when X is quasiregular, and showing d(X)πχ(X)c(X)nq(X) for any Hausdorff space X. This demonstrates that the degree to which a space is nonquasiregular has a fundamental and direct connection to its density and, ultimately, its cardinality. Importantly, if X is Hausdorff then nq(X) is "small" in the sense that nq(X)min{ψc(X),L(X),pct(X)}. This results in a unified proof of both Sapirovskii's density bound for regular spaces and Sun’s bound πχ(X)c(X)ψc(X) for the cardinality of a Hausdorff space X. A consequence is an improved bound for the cardinality of a Hausdorff space. We give an example of a compact, Hausdorff space for which this new bound is a strict improvement over Sun's bound.

View Submission

Adding a continuous map by forcing — Akira Iwasa

We discuss in what circumstances forcing adds new continuous maps. We prove that if X is scattered compact Hausdorff and Y is discrete, then forcing does not add any continuous maps from X to Y. On the other hand, if X is not a zero-dimensional scattered pseudocompact space and Y has more than one point, then ccc forcing adds a continuous map from X to Y.

View Submission

Applications and Limitations of Strategic Translation in Selection Principles — Christopher Caruvana

We review various applications of strategic translations in topological selection games and also discuss some particular cases where direct applications fail.

View Submission

Clustering Properties of Convex-Valued Upper Semicontinuous (CUSCO) Functions — Jared Holshouser

We establish relationships between various topological selection games involving the space of minimal cusco maps into the real line and the underlying domain of those maps. These connections occur across different topologies, including the topology of pointwise convergence and the topology of uniform convergence on compacta. Full and limited-information strategies are investigated. The primary games we consider are Rothberger-like games, generalized point-open games, strong fan-tightness games, Tkachuk's closed discrete selection game, and Gruenhage's W-games.

View Submission

Cylinders as isoperimetric limits of Cayley graphs? — Joseph Briggs

Barber and Erde asked the following question: if B generates Zn as an additive group, then must the extremal sets for the isoperimetric inequality on the Cayley graph (Zn,B) form a nested family? We answer this question negatively for both the vertex- and edge-isoperimetric inequalities, already when n=1. The key is to show that the structure of the cylinder Z×(Z/kZ) can be mimicked in certain Cayley graphs on \Z, leading to a phase transition. Based on joint work with Chris Wells.

View Submission

Dynamical Ideals of Topological Spaces — Justin Young

Joint work with J. Zapletal A dynamical ideal consists of a group acting on a set, along with an ideal that is invariant under the group action, and we can use dynamical ideals to obtain models of choiceless set theory. We focus on dynamical ideals where the underlying set is taken to be a topological space and the acting group is the group of homeomorphisms and look at how dynamical properties of the space correspond to fragments of AC in the associated model of set theory, along with particular examples.

View Submission

High dimensional sequential compactness — Cesar Corral

We will introduce high dimensional versions of sequential compactness for every ordinal α<ω1. This will generalize a previous notion introduced by W. Kubis and P. Szeptycki for αω. We then extend some known results in the finite case to the infinite case, exhibit some conditions that imply sequential compactness for higher dimensions and analyze the impact of some cardinal invariants in these classes of spaces. We will close with some remarks and applications.

View Submission

Maximal quotients of extremally disconnected flows via discrete group actions with respect to coarser group topology — Dana Bartosova

We describe how to obtain a maximal quotient flow of a flow of a discrete group on an extremally disconnected space when we equip the group with a non-discrete topology. This generalized such description previously done for special types of flows, namely the greatest ambit and the Samuel compactification.

View Submission

More Trivial and non-Trivial autohomeomorphisms of N — Alan Dow

We investigate the situation regarding autohomeomorphisms of N, primarily in the Mathias model.

View Submission

On Arhangel'skii's inequality — Ivan Gotchev

In 1969, Arhangel'skiĭ proved that if X is a Hausdorff space, then |X|2χ(X)L(X), where χ(X) is the character and L(X) is the Lindelöf degree of X. Since then it has been an open question if his inequality is true for every T1-space X. In 2013, we proved that if X is a T1-space, then |X|nh(X)χ(X)L(X), where nh(X) is the non-Hausdorff number of X. In that way we were able to positively answer this question for every T1-space for which nh(X)2χ(X)L(X), and, in particular, when nh(X) is not grater than the cardinality of the continuum. A simple example shows that our inequality is not always true for T0-spaces. Arhangel'skiĭ and Šapirovskiĭ strengthened Arhangel'skiĭ's inequality in 1974 by showing that if X is a Hausdorff space, then |X|2t(X)ψ(X)L(X), where t(X) is the tightness and ψ(X) is the pseudocharacter of X. In this talk we will show how Arhangel'skiĭ--Šapirovskiĭ's inequality, and therefore, Arhangel'skiĭ's inequality, could be extended to be valid for all topological spaces.

View Submission

On Uniformly Continuous Surjections Between Function Spaces — Ali Emre Eysen

Joint work with V. Valov We consider uniformly continuous surjections between Cp(X) and Cp(Y) (resp, Cp(X) and Cp(Y)) and show that if X has some dimensional-like properties, then so does Y. In particular, we prove that if T:Cp(X)Cp(Y) is a continuous linear surjection, then dimY=0 provided dimX=0. This provides a partial answer to a question raised by Kawamura-Leiderman.

View Submission

Recent results about proximal and semi-proximal spaces — Khulod Almontashery

We consider the class of proximal and semi-proximal spaces defined by Jocelyn Bell and introduce a strengthening of this class by examining the proximal game defined on totally bounded uniformities. We also discuss recent results about proximal and semi-proximal spaces. Joint work with Paul Szeptycki.

View Submission

Refining and dominating families at the uncountable — Vera Fischer

We will discuss some recent results, including ZFC inequalities, concerning the higher Baire spaces analogues of some of the classical combinatorial cardinal characteristics of the continuum. Of special interest for the talk will be the generalized bounding, splitting, refining and dominating numbers.

View Submission

Riemann integral on a space with a fractal structure — José F. Gálvez-Rodríguez

Joint work with Miguel A. Sánchez-Granero and Cristina Martín-Aguado. In this work we start developing a Riemann-type integration theory on spaces which are equipped with a fractal structure. These topological structures have a recursive nature, which allows us to guarantee a good approximation to the true value of a certain integral with respect to some measure defined on the Borel σ-algebra of the space. We give the notion of Darboux sums and lower and upper Riemann integrals of a bounded function when given a measure and a fractal structure. Furthermore, we give the notion of a Riemann-integrable function in this context and prove that each μ-measurable function is Riemann-integrable with respect to μ. Moreover, if μ is the Lebesgue measure, then the Lebesgue integral on a bounded set of Rn meets the Riemann integral with respect to the Lebesgue measure in the context of measures and fractal structures. Finally, we give some examples showing that we can calculate improper integrals and integrals on fractal sets.

View Submission

Some examples concerning LΣ(ω) and metrizably fibered compacta — Mikolaj Krupski

The class of LΣ(ω)-spaces was introduced in 2006 by Kubiś, Okunev and Szeptycki as a natural refinement of the classical and important notion of Lindelof Σ-spaces. Compact LΣ(ω)-spaces were considered earlier, under different names, in the works of Tkachuk and Tkachenko in relation to metrizably fibered compacta. In this talk we will present counterexamples to several open questions about compact LΣ(ω)-spaces that are scattered in the literature. Among other things, we refute a conjecture of Kubiś, Okunev and Szeptycki by constructing a separable Rosenthal compactum which is not an LΣ(ω)-space. We also give insight to the structure of first-countable (K)LΣ(ω)-compacta. The talk is based on a joint work with Antonio Aviles.

View Submission

THE CLASS C(ω1) AND COUNTABLE NET WEIGHT — Istvan Juhasz

Hart and Kunen and, independently, Ríos-Herrejón defined and studied the class C(ω1) of topological spaces X having the property that for every neighborhood assignment {U(y):yY} with Y[X]ω1 there is Z[Y]ω1 such that Z{U(z):zZ}. It is obvious that spaces of countable net weight, i.e. having a countable network, belong to this class. We present several independence results concerning the relationships of these two and several other natural classes that are sandwiched between them. In particular, we prove that the continuum hypothesis, in fact a weaker combinatorial principle called super stick, implies that every regular space in C(ω1) has countable net weight, answering a question that was raised by Hart and Kunen. These results are joint with L. Soukup and Z. Szentmiklossy.

View Submission

Topological W-groups and Corson compact spaces — Vladimir Tkachuk

We will present several new characterizations of the fact that a given compact space K is Corson compact. Some of them will be in terms of embeddings of K in function spaces, another ones in terms of dense subspaces of Cp(K) and even one characterization in terms of embedding K in a topological group.

View Submission

« Back to 2024