Convexity ranks in higher dimensions

Menachem Kojman

Displaying similar documents to “Convexity ranks in higher dimensions”

On partitions of lines and space

Paul Erdös, Steve Jackson, R. Mauldin (1994)

Fundamenta Mathematicae

Similarity:

We consider a set, L, of lines in $ℝ^{n}$ and a partition of L into some number of sets: $L = L_{1} \cup . . . \cup L_{p}$ . We seek a corresponding partition $ℝ^{n} = S_{1} \cup . . . \cup S_{p}$ such that each line l in $L_{i}$ meets the set $S_{i}$ in a set whose cardinality has some fixed bound, $ω_{τ}$ . We determine equivalences between the bounds on the size of the continuum, $2^{ω} \leq ω_{θ}$ , and some relationships between p, $ω_{τ}$ and $ω_{θ}$ .

Gδ -sets in topological spaces and games

Winfried Just, Marion Scheepers, Juris Steprans, Paul Szeptycki (1997)

Fundamenta Mathematicae

Similarity:

Players ONE and TWO play the following game: In the nth inning ONE chooses a set $O_{n}$ from a prescribed family ℱ of subsets of a space X; TWO responds by choosing an open subset $T_{n}$ of X. The players must obey the rule that $O_{n} \subseteq O_{n + 1} \subseteq T_{n + 1} \subseteq T_{n}$ for each n. TWO wins if the intersection of TWO’s sets is equal to the union of ONE’s sets. If ONE has no winning strategy, then each element of ℱ is a $G_{δ}$ -set. To what extent is the converse true? We show that: (A) For ℱ the collection of countable subsets of X: 1....

Ergodicity for piecewise smooth cocycles over toral rotations

Anzelm Iwanik (1998)

Fundamenta Mathematicae

Similarity:

Let α be an ergodic rotation of the d-torus $𝕋^{d} = ℝ^{d} / ℤ^{d}$ . For any piecewise smooth function $f : 𝕋^{d} \to ℝ$ with sufficiently regular pieces the unitary operator Vh(x) = exp(2π if(x))h(x + α) acting on $L^{2} (𝕋^{d})$ is shown to have a continuous non-Dirichlet spectrum if the gradient of f has nonzero integral. In particular, the resulting skew product $S_{f} : 𝕋^{d + 1} \to 𝕋^{d + 1}$ must be ergodic. If in addition α is sufficiently well approximated by rational vectors and f is represented by a linear function with noninteger coefficients then the spectrum...

Difference functions of periodic measurable functions

Tamás Keleti (1998)

Fundamenta Mathematicae

Similarity:

We investigate some problems of the following type: For which sets H is it true that if f is in a given class ℱ of periodic functions and the difference functions $Δ_{h} f (x) = f (x + h) - f (x)$ are in a given smaller class G for every h ∈ H then f itself must be in G? Denoting the class of counter-example sets by ℌ(ℱ,G), that is, $ℌ (ℱ, G) = H \subset ℝ / ℤ : (\exists f \in ℱ G) (\forall h \in H) Δ_{h} f \in G$ , we try to characterize ℌ(ℱ,G) for some interesting classes of functions ℱ ⊃ G. We study classes of measurable functions on the circle group $𝕋 = ℝ / ℤ$ that are invariant for changes on null-sets...

Strong Fubini properties of ideals

Ireneusz Recław, Piotr Zakrzewski (1999)

Fundamenta Mathematicae

Similarity:

Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections $D_{x} = y : ⟨ x, y ⟩ \in D$ are in J, then the sections $D^{y} = x : ⟨ x, y ⟩ \in D$ are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this...

Rigid $ℵ_{ε}$ -saturated models of superstable theories

Ziv Shami, Saharon Shelah (1999)

Fundamenta Mathematicae

Similarity:

In a countable superstable NDOP theory, the existence of a rigid $ﬡ_{ε}$ -saturated model implies the existence of $2^{λ}$ rigid $ﬡ_{ε}$ -saturated models of power λ for every $λ > 2^{ﬡ_{0}}$ .

Types on stable Banach spaces

José Iovino (1998)

Fundamenta Mathematicae

Similarity:

We prove a geometric characterization of Banach space stability. We show that a Banach space X is stable if and only if the following condition holds. Whenever $\hat{X}$ is an ultrapower of X and B is a ball in $\hat{X}$ , the intersection B ∩ X can be uniformly approximated by finite unions and intersections of balls in X; furthermore, the radius of these balls can be taken arbitrarily close to the radius of B, and the norm of their centers arbitrarily close to the norm of the center of B. The preceding...

Strongly meager sets and subsets of the plane

Janusz Pawlikowski (1998)

Fundamenta Mathematicae

Similarity:

Let $X \subseteq 2^{w}$ . Consider the class of all Borel $F \subseteq X \times 2^{w}$ with null vertical sections $F_{x}$ , x ∈ X. We show that if for all such F and all null Z ⊆ X, $\cup_{x \in Z} F_{x}$ is null, then for all such F, $\cup_{x \in X} F_{x} \neq 2^{w}$ . The theorem generalizes the fact that every Sierpiński set is strongly meager and was announced in [P].

A functional S-dual in a strong shape category

Friedrich Bauer (1997)

Fundamenta Mathematicae

Similarity:

In the S-category $P$ (with compact-open strong shape mappings, cf. §1, instead of continuous mappings, and arbitrary finite-dimensional separable metrizable spaces instead of finite polyhedra) there exists according to [1], [2] an S-duality. The S-dual $D X, X = (X, n) \in P$ , turns out to be of the same weak homotopy type as an appropriately defined functional dual $\bar{{(S^{0})}^{X}}$ (Corollary 4.9). Sometimes the functional object $\bar{X^{Y}}$ is of the same weak homotopy type as the “real” function space $X^{Y}$ (§5).

Locally constant functions

Joan Hart, Kenneth Kunen (1996)

Fundamenta Mathematicae

Similarity:

Let X be a compact Hausdorff space and M a metric space. $E_{0} (X, M)$ is the set of f ∈ C(X,M) such that there is a dense set of points x ∈ X with f constant on some neighborhood of x. We describe some general classes of X for which $E_{0} (X, M)$ is all of C(X,M). These include βℕ, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case where M is a Banach space, we discuss the properties of $E_{0} (X, M)$ as a normed linear space. We also build three first countable...

Chaotic continua of (continuum-wise) expansive homeomorphisms and chaos in the sense of Li and Yorke

Hisao Kato (1994)

Fundamenta Mathematicae

Similarity:

A homeomorphism f : X → X of a compactum X is expansive (resp. continuum-wise expansive) if there is c > 0 such that if x, y ∈ X and x ≠ y (resp. if A is a nondegenerate subcontinuum of X), then there is n ∈ ℤ such that $d (f^{n} (x), f^{n} (y)) > c$ (resp. $d i a m f^{n} (A) > c$ ). We prove the following theorem: If f is a continuum-wise expansive homeomorphism of a compactum X and the covering dimension of X is positive (dim X > 0), then there exists a σ-chaotic continuum Z = Z(σ) of f (σ = s or σ = u), i.e. Z is a nondegenerate...

If it looks and smells like the reals...

Franklin Tall (2000)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,T⟩ ∈ M, an elementary submodel of set theory, we define $X_{M}$ to be X ∩ M with topology generated by U ∩ M:U ∈ T ∩ M. We prove that if $X_{M}$ is homeomorphic to ℝ, then $X = X_{M}$ . The same holds for arbitrary locally compact uncountable separable metric spaces, but is independent of ZFC if “local compactness” is omitted.

Cofinal $Σ_{1}^{1}$ and $Π_{1}^{1}$ subsets of $ω^{ω}$

Gabriel Debs, Jean Saint Raymond (1999)

Fundamenta Mathematicae

Similarity:

We study properties of $\sum_{1}^{1}$ and $π_{1}^{1}$ subsets of $ω^{ω}$ that are cofinal relative to the orders ≤ (≤*) of full (eventual) domination. We apply these results to prove that the topological statement “Any compact covering mapping from a Borel space onto a Polish space is inductively perfect” is equivalent to the statement " $\forall α \in ω^{ω}, ω^{ω} \cap L (α)$ is bounded for ≤*".

Misiurewicz maps unfold generically (even if they are critically non-finite)

Sebastian van Strien (2000)

Fundamenta Mathematicae

Similarity:

We show that in normalized families of polynomial or rational maps, Misiurewicz maps (critically finite or infinite) unfold generically. For example, if $f_{λ_{0}}$ is critically finite with non-degenerate critical point $c_{1} (λ_{0}), . . ., c_{n} (λ_{0})$ such that $f_{λ_{0}}^{k_{i}} (c_{i} (λ_{0})) = p_{i} (λ_{0})$ are hyperbolic periodic points for i = 1,...,n, then IV-1. Age impartible......................................................................................................................................................................... 31 $λ \mapsto (f_{λ}^{k_{1}} (c_{1} (λ)) - p_{1} (λ), . . ., f_{λ}^{k_{d - 2}} (c_{d - 2} (λ)) - p_{d - 2} (λ))$ is a local diffeomorphism...

Raising dimension under all projections

John Cobb (1994)

Fundamenta Mathematicae

Similarity:

As a special case of the general question - “What information can be obtained about the dimension of a subset of $ℝ^{n}$ by looking at its orthogonal projections into hyperplanes?” - we construct a Cantor set in $ℝ^{3}$ each of whose projections into 2-planes is 1-dimensional. We also consider projections of Cantor sets in $ℝ^{n}$ whose images contain open sets, expanding on a result of Borsuk.

Strongly almost disjoint familes, revisited

A. Hajnal, Istvan Juhász, Saharon Shelah (2000)

Fundamenta Mathematicae

Similarity:

The relations M(κ,λ,μ) → B [resp. B(σ)] meaning that if $A \subset {[κ]}^{λ}$ with |A|=κ is μ-almost disjoint then A has property B [resp. has a σ-transversal] had been introduced and studied under GCH in [EH]. Our two main results here say the following: Assume GCH and let ϱ be any regular cardinal with a supercompact [resp. 2-huge] cardinal above ϱ. Then there is a ϱ-closed forcing P such that, in $V^{P}$ , we have both GCH and $M (ϱ^{(+ ϱ + 1)}, ϱ^{+}, ϱ) ↛ B$ [resp. $M (ϱ^{(+ ϱ + 1)}, λ, ϱ) ↛ B (ϱ^{+})$ for all $λ \leq ϱ^{(+ ϱ + 1)}]$ . These show that, consistently, the results of [EH] are sharp....

Normal numbers and subsets of N with given densities

Haseo Ki, Tom Linton (1994)

Fundamenta Mathematicae

Similarity:

For X ⊆ [0,1], let $D_{X}$ denote the collection of subsets of ℕ whose densities lie in X. Given the exact location of X in the Borel or difference hierarchy, we exhibit the exact location of $D_{X}$ . For α ≥ 3, X is properly $D_{ξ} (Π_{α}^{0})$ iff $D_{X}$ is properly $D_{ξ} (Π_{1 + α}^{0})$ . We also show that for every nonempty set X ⊆[0,1], $D_{X}$ is $Π_{3}^{0}$ -hard. For each nonempty $Π_{2}^{0}$ set X ⊆ [0,1], in particular for X = x, $D_{X}$ is $Π_{3}^{0}$ -complete. For each n ≥ 2, the collection of real numbers that are normal or simply normal to base n is $Π_{3}^{0}$ -complete. Moreover,...

How to recognize a true Σ^0_3 set

Etienne Matheron (1998)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space, and let ${(A_{p})}_{p \in ω}$ be a sequence of $G_{δ}$ hereditary subsets of K(X) (the space of compact subsets of X). We give a general criterion which allows one to decide whether $\cup_{p \in ω} A_{p}$ is a true $\sum_{3}^{0}$ subset of K(X). We apply this criterion to show that several natural families of thin sets from harmonic analysis are true $\sum_{3}^{0}$ .

Sierpiński's hierarchy and locally Lipschitz functions

Michał Morayne (1995)

Fundamenta Mathematicae

Similarity:

Let Z be an uncountable Polish space. It is a classical result that if I ⊆ ℝ is any interval (proper or not), f: I → ℝ and $α < ω_{1}$ then f ○ g ∈ $B_{α} (Z)$ for every $g \in B_{α} (Z) \cap^{Z} I$ if and only if f is continuous on I, where $B_{α} (Z)$ stands for the αth class in Baire’s classification of Borel measurable functions. We shall prove that for the classes $S_{α} (Z) (α > 0)$ in Sierpiński’s classification of Borel measurable functions the analogous result holds where the condition that f is continuous is replaced by the condition that f is locally...