Let X be a nonempty set of cardinality at most $2^{ℵ₀}$ and T be a selfmap of X. Our main theorem says that if each periodic point of T is a fixed point under T, and T has a fixed point, then there exist a metric d on X and a lower semicontinuous map ϕ :X→ ℝ ₊ such that d(x,Tx) ≤ ϕ(x) - ϕ(Tx) for all x∈ X, and (X,d) is separable. Assuming CH (the Continuum Hypothesis), we deduce that (X,d) is compact.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We consider the following notion of largeness for subgroups of $S_{∞}$. A group G is large if it contains a free subgroup on 𝔠 generators. We give a necessary condition for a countable structure A to have a large group Aut(A) of automorphisms. It turns out that any countable free subgroup of $S_{∞}$ can be extended to a large free subgroup of $S_{∞}$, and, under Martin's Axiom, any free subgroup of $S_{∞}$ of cardinality less than 𝔠 can also be extended to a large free subgroup of $S_{∞}$. Finally, if Gₙ are countable groups, then either $∏_{n∈ℕ} Gₙ$ is large, or it does not contain any free subgroup on uncountably many generators.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We prove that density preserving homeomorphisms form a Π11-complete subset in the Polish space ℍ of all increasing autohomeomorphisms of unit interval.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We say that a real-valued function f defined on a positive Borel measure space (X,μ) is nowhere q-integrable if, for each nonvoid open subset U of X, the restriction $f|_U$ is not in $L^{q}(U)$. When (X,μ) has some natural properties, we show that certain sets of functions defined in X which are p-integrable for some p's but nowhere q-integrable for some other q's (0 < p,q < ∞) admit a variety of large linear and algebraic structures within them. The presented results answer a question of Bernal-González, improve and complement recent spaceability and algebrability results of several authors and motivate new research directions in the field of spaceability.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series $∑_{n=1}^{∞} x(n)$. Guthrie and Nymann proved that E(x) is one of the following types of sets: (𝓘) a finite union of closed intervals; (𝓒) homeomorphic to the Cantor set; 𝓜 𝓒 homeomorphic to the set T of subsums of $∑_{n=1}^{∞} b(n)$ where b(2n-1) = 3/4ⁿ and b(2n) = 2/4ⁿ. Denote by ℐ, 𝓒 and 𝓜 𝓒 the sets of all sequences x ∈ ℓ₁∖c₀₀ such that E(x) has the property (ℐ), (𝓒) and (𝓜 𝓒), respectively. We show that ℐ and 𝓒 are strongly 𝔠-algebrable and 𝓜 𝓒 is 𝔠-lineable. We also show that 𝓒 is a dense $𝒢_δ$-set in ℓ₁ and ℐ is a true $ℱ_σ$-set. Finally we show that ℐ is spaceable while 𝓒 is not.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.