Standardness of sequences of σ-fields given by certain endomorphisms

Jacob Feldman; Daniel Rudolph

Displaying similar documents to “Standardness of sequences of σ-fields given by certain endomorphisms”

Nonseparable Radon measures and small compact spaces

Grzegorz Plebanek (1997)

Fundamenta Mathematicae

Similarity:

We investigate the problem if every compact space K carrying a Radon measure of Maharam type κ can be continuously mapped onto the Tikhonov cube ${[0, 1]}^{κ}$ (κ being an uncountable cardinal). We show that for κ ≥ cf(κ) ≥ κ this holds if and only if κ is a precaliber of measure algebras. Assuming that there is a family of $ω_{1}$ null sets in $2^{ω 1}$ such that every perfect set meets one of them, we construct a compact space showing that the answer to the above problem is “no” for κ = ω. We also give alternative...

Topological entropy of nonautonomous piecewise monotone dynamical systems on the interval

Sergiĭ Kolyada, Michał Misiurewicz, L’ubomír Snoha (1999)

Fundamenta Mathematicae

Similarity:

The topological entropy of a nonautonomous dynamical system given by a sequence of compact metric spaces ${(X_{i})}_{i = 1}^{\infty}$ and a sequence of continuous maps ${(f_{i})}_{i = 1}^{\infty}$ , $f_{i} : X_{i} \to X_{i + 1}$ , is defined. If all the spaces are compact real intervals and all the maps are piecewise monotone then, under some additional assumptions, a formula for the entropy of the system is obtained in terms of the number of pieces of monotonicity of $f_{n} ○ . . . ○ f_{2} ○ f_{1}$ . As an application we construct a large class of smooth triangular maps of the square of type $2^{\infty}$ and...

Every reasonably sized matrix group is a subgroup of S ∞

Robert Kallman (2000)

Fundamenta Mathematicae

Similarity:

Every reasonably sized matrix group has an injective homomorphism into the group $S_{\infty}$ of all bijections of the natural numbers. However, not every reasonably sized simple group has an injective homomorphism into $S_{\infty}$ .

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...

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.

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...

The theory of dual groups

A. Mekler, G. Schlitt (1994)

Fundamenta Mathematicae

Similarity:

We study the $L_{\infty, w}$ -theory of sequences of dual groups and give a complete classification of the $L_{\infty, w}$ -elementary classes by finding simple invariants for them. We show that nonstandard models exist.

Convexity ranks in higher dimensions

Menachem Kojman (2000)

Fundamenta Mathematicae

Similarity:

A subset of a vector space is called countably convex if it is a countable union of convex sets. Classification of countably convex subsets of topological vector spaces is addressed in this paper. An ordinal-valued rank function ϱ is introduced to measure the complexity of local nonconvexity points in subsets of topological vector spaces. Then ϱ is used to give a necessary and sufficient condition for countable convexity of closed sets. Theorem. Suppose that S is a closed subset of a...

On the equation $a^{p} + 2^{α} b^{p} + c^{p} = 0$

Kenneth A. Ribet (1997)

Acta Arithmetica

Similarity:

We discuss the equation $a^{p} + 2^{α} b^{p} + c^{p} = 0$ in which a, b, and c are non-zero relatively prime integers, p is an odd prime number, and α is a positive integer. The technique used to prove Fermat’s Last Theorem shows that the equation has no solutions with α < 1 or b even. When α=1 and b is odd, there are the two trivial solutions (±1, ∓ 1, ±1). In 1952, Dénes conjectured that these are the only ones. Using methods of Darmon, we prove this conjecture for p≡ 1 mod 4.

Bohr compactifications of discrete structures

Joan Hart, Kenneth Kunen (1999)

Fundamenta Mathematicae

Similarity:

We prove the following theorem: Given a⊆ω and $1 \leq α < ω_{1}^{C K}$ , if for some $η < ℵ_{1}$ and all u ∈ WO of length η, a is $Σ_{α}^{0} (u)$ , then a is $Σ_{α}^{0}$ .We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: $Σ_{1}^{1}$ -Turing-determinacy implies the existence of $0^{}$ .

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.

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 ≤*".

The sequential topology on complete Boolean algebras

Wiesław Główczyński, Bohuslav Balcar, Thomas Jech (1998)

Fundamenta Mathematicae

Similarity:

We investigate the sequential topology $τ_{s}$ on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for B to carry a strictly positive Maharam submeasure is that B is ccc and that the space $(B, τ_{s})$ is Hausdorff. We also characterize sequential cardinals.

On absolute retracts of ω*

A. Bella, A. Błaszczyk, A. Szymański (1994)

Fundamenta Mathematicae

Similarity:

An extremally disconnected space is called an absolute retract in the class of all extremally disconnected spaces if it is a retract of any extremally disconnected compact space in which it can be embedded. The Gleason spaces over dyadic spaces have this property. The main result of this paper says that if a space X of π-weight $ω_{1}$ is an absolute retract in the class of all extremally disconnected compact spaces and X is homogeneous with respect to π-weight (i.e. all non-empty open sets...

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 $ω_{θ}$ .

Each nowhere dense nonvoid closed set in Rn is a σ-limit set

Andrei Sivak (1996)

Fundamenta Mathematicae

Similarity:

We discuss main properties of the dynamics on minimal attraction centers (σ-limit sets) of single trajectories for continuous maps of a compact metric space into itself. We prove that each nowhere dense nonvoid closed set in $ℝ^{n}$ , n ≥ 1, is a σ-limit set for some continuous map.

The concept of boundedness and the Bohr compactification of a MAP Abelian group

Jorge Galindo, Salvador Hernández (1999)

Fundamenta Mathematicae

Similarity:

Let G be a maximally almost periodic (MAP) Abelian group and let ℬ be a boundedness on G in the sense of Vilenkin. We study the relations between ℬ and the Bohr topology of G for some well known groups with boundedness (G,ℬ). As an application, we prove that the Bohr topology of a topological group which is topologically isomorphic to the direct product of a locally convex space and an $ℒ_{\infty}$ -group, contains “many” discrete C-embedded subsets which are C*-embedded in their Bohr compactification....

On absolutely divergent series

Sakaé Fuchino, Heike Mildenberger, Saharon Shelah, Peter Vojtáš (1999)

Fundamenta Mathematicae

Similarity:

We show that in the $ℵ_{2}$ -stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(ω)/fin. This complements Vojtáš’ result that under $c f () =$ the two algebras are isomorphic [15].