Every reasonably sized matrix group is a subgroup of S ∞

Robert Kallman

Displaying similar documents to “Every reasonably sized matrix group is a subgroup of S ∞”

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

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

Standardness of sequences of σ-fields given by certain endomorphisms

Jacob Feldman, Daniel Rudolph (1998)

Fundamenta Mathematicae

Similarity:

Let E be an ergodic endomorphism of the Lebesgue probability space X, ℱ, μ. It gives rise to a decreasing sequence of σ-fields $ℱ, E^{- 1} ℱ, E^{- 2} ℱ, . . .$ A central example is the one-sided shift σ on $X = {0, 1}^{ℕ}$ with $\frac{1}{2}, \frac{1}{2}$ product measure. Now let T be an ergodic automorphism of zero entropy on (Y, ν). The [I|T] endomorphismis defined on (X× Y, μ× ν) by $(x, y) \to (σ (x), T^{x (1)} (y))$ . Here ℱ is the σ-field of μ× ν-measurable sets. Each field is a two-point extension of the one beneath it. Vershik has defined as “standard” any decreasing sequence of...

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

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

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

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^{}$ .

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.

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

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.

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.

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

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

Properties of the class of measure separable compact spaces

Mirna Džamonja, Kenneth Kunen (1995)

Fundamenta Mathematicae

Similarity:

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, the existence of a compact ordered scattered space which carries a non-separable (non-regular)...

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.

Subgroups of the Baer–Specker group with few endomorphisms but large dual

Andreas Blass, Rüdiger Göbel (1996)

Fundamenta Mathematicae

Similarity:

Assuming the continuum hypothesis, we construct a pure subgroup G of the Baer-Specker group $ℤ^{ℵ_{0}}$ with the following properties. Every endomorphism of G differs from a scalar multiplication by an endomorphism of finite rank. Yet G has uncountably many homomorphisms to ℤ.

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