Expansions of o-minimal structures by sparse sets

Harvey Friedman; Chris Miller

Displaying similar documents to “Expansions of o-minimal structures by sparse sets”

Weierstrass division theorem in definable $C^{\infty}$ germs in a polynomially bounded o-minimal structure

Abdelhafed Elkhadiri, Hassan Sfouli (2006)

Annales Polonici Mathematici

Similarity:

We give some examples of polynomially bounded o-minimal expansions of the ordered field of real numbers where the Weierstrass division theorem does not hold in the ring of germs, at the origin of ℝⁿ, of definable $C^{\infty}$ functions.

Zero-set property of o-minimal indefinitely Peano differentiable functions

Andreas Fischer (2008)

Annales Polonici Mathematici

Similarity:

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let $^{\infty}$ denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits $^{\infty}$ cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a $^{\infty}$ function f:Rⁿ → R. This implies $^{\infty}$ approximation of definable continuous functions and gluing of $^{\infty}$ functions defined on closed definable sets.

Counting linearly ordered spaces

Gerald Kuba (2014)

Colloquium Mathematicae

Similarity:

For a transfinite cardinal κ and i ∈ 0,1,2 let $ℒ_{i} (κ)$ be the class of all linearly ordered spaces X of size κ such that X is totally disconnected when i = 0, the topology of X is generated by a dense linear ordering of X when i = 1, and X is compact when i = 2. Thus every space in ℒ₁(κ) ∩ ℒ₂(κ) is connected and hence ℒ₁(κ) ∩ ℒ₂(κ) = ∅ if $κ < 2^{ℵ ₀}$ , and ℒ₀(κ) ∩ ℒ₁(κ) ∩ ℒ₂(κ) = ∅ for arbitrary κ. All spaces in ℒ₁(ℵ₀) are homeomorphic, while ℒ₂(ℵ₀) contains precisely ℵ₁ spaces up to homeomorphism. The...

Definable stratification satisfying the Whitney property with exponent 1

Beata Kocel-Cynk (2007)

Annales Polonici Mathematici

Similarity:

We prove that for a finite collection of sets $A ₁, . . ., A_{s} \subset ℝ^{k + n}$ definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto $ℝ^{k}$ satisfy the Whitney property with exponent 1.

On some properties of three-dimensional minimal sets in $ℝ^{4}$

Tien Duc Luu (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We prove in this paper the Hölder regularity of Almgren minimal sets of dimension 3 in $ℝ^{4}$ around a $𝕐$ -point and the existence of a point of particular type of a Mumford-Shah minimal set in $ℝ^{4}$ , which is very close to a $𝕋$ . This will give a local description of minimal sets of dimension 3 in $ℝ^{4}$ around a singular point and a property of Mumford-Shah minimal sets in $ℝ^{4}$ .

O-minimal fields with standard part map

Jana Maříková (2010)

Fundamenta Mathematicae

Similarity:

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V → k. Let $k_{i n d}$ be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in $k_{i n d}$ and conditions on (R,V) which imply o-minimality of $k_{i n d}$ . We also show that if R is ω-saturated and V is the convex hull of ℚ in R, then the sets definable in $k_{i n d}$ are exactly the standard parts of the sets definable in (R,V).

On $n$ -thin dense sets in powers of topological spaces

Adam Bartoš (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A subset of a product of topological spaces is called $n$ -thin if every its two distinct points differ in at least $n$ coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable $T_{3}$ space $X$ without isolated points such that $X^{n}$ contains an $n$ -thin dense subset, but $X^{n + 1}$ does not contain any $n$ -thin dense subset. We also observe that part of the construction can be carried out under MA.

Addition theorems for dense subspaces

Aleksander V. Arhangel'skii (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study topological spaces that can be represented as the union of a finite collection of dense metrizable subspaces. The assumption that the subspaces are dense in the union plays a crucial role below. In particular, Example 3.1 shows that a paracompact space $X$ which is the union of two dense metrizable subspaces need not be a $p$ -space. However, if a normal space $X$ is the union of a finite family $μ$ of dense subspaces each of which is metrizable by a complete metric, then $X$ is also metrizable...

On universality of countable and weak products of sigma hereditarily disconnected spaces

Taras Banakh, Robert Cauty (2001)

Fundamenta Mathematicae

Similarity:

Suppose a metrizable separable space Y is sigma hereditarily disconnected, i.e., it is a countable union of hereditarily disconnected subspaces. We prove that the countable power $X^{ω}$ of any subspace X ⊂ Y is not universal for the class ₂ of absolute $G_{δ σ}$ -sets; moreover, if Y is an absolute $F_{σ δ}$ -set, then $X^{ω}$ contains no closed topological copy of the Nagata space = W(I,ℙ); if Y is an absolute $G_{δ}$ -set, then $X^{ω}$ contains no closed copy of the Smirnov space σ = W(I,0). On the other hand, the countable...

Extending piecewise polynomial functions in two variables

Andreas Fischer, Murray Marshall (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We study the extensibility of piecewise polynomial functions defined on closed subsets of $ℝ^{2}$ to all of $ℝ^{2}$ . The compact subsets of $ℝ^{2}$ on which every piecewise polynomial function is extensible to $ℝ^{2}$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$ . Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise...

A two-dimensional univoque set

Martijn de Vrie, Vilmos Komornik (2011)

Fundamenta Mathematicae

Similarity:

Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form $x = \sum_{i = 1}^{\infty} c_{i} q^{- i}$ with integer coefficients $c_{i}$ satisfying $0 \leq c_{i} < q$ , i ≥ 1. In this case we say that $(c_{i}) = c ₁ c ₂ . . .$ is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also...

Algebraic and topological properties of some sets in ℓ₁

Taras Banakh, Artur Bartoszewicz, Szymon Głąb, Emilia Szymonik (2012)

Colloquium Mathematicae

Similarity:

For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series $\sum_{n = 1}^{\infty} 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 $\sum_{n = 1}^{\infty} 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....

On a question of $C_{c} (X)$

A. R. Olfati (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this short article we answer the question posed in Ghadermazi M., Karamzadeh O.A.S., Namdari M., On the functionally countable subalgebra of $C (X)$ , Rend. Sem. Mat. Univ. Padova 129 (2013), 47–69. It is shown that $C_{c} (X)$ is isomorphic to some ring of continuous functions if and only if $υ_{0} X$ is functionally countable. For a strongly zero-dimensional space $X$ , this is equivalent to say that $X$ is functionally countable. Hence for every $P$ -space it is equivalent to pseudo- $ℵ_{0}$ -compactness.

Combinatorics of dense subsets of the rationals

B. Balcar, F. Hernández-Hernández, M. Hrušák (2004)

Fundamenta Mathematicae

Similarity:

We study combinatorial properties of the partial order (Dense(ℚ),⊆). To do that we introduce cardinal invariants $_{ℚ}$ , $_{ℚ}$ , $_{ℚ}$ , $_{ℚ}$ , $_{ℚ}$ , $_{ℚ}$ describing properties of Dense(ℚ). These invariants satisfy $_{ℚ}$ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ $. W e c o m p a r e t h e m w i t h t h e i r a n a l o g u e s i n t h e w e l l s t u d i e d B o o l e a n a l g e b r a (ω) / f i n . W e s h o w t h a t$ ℚ = p $,$ ℚ = t $a n d$ ℚ = i $, w h e r e a s$ ℚ > h $a n d$ ℚ > r $a r e b o t h s h o w n t o b e r e l a t i v e l y c o n s i s t e n t w i t h Z F C . W e a l s o i n v e s t i g a t e c o m b i n a t o r i c s o f t h e i d e a l n w d o f n o w h e r e d e n s e s u b s e t s o f, ℚ . I n p a r t i c u l a r, w e s h o w t h a t$ non(M)=min||: ⊆ Dense(R) ∧ (∀I ∈ nwd(R))(∃D ∈ )(I ∩ D = ∅) and cof(M) = min||: ⊆ Dense(ℚ) ∧ (∀I ∈ nwd)(∃D ∈ )(I ∩ = ∅). We use these facts to show that cof(M) ≤ i, which improves a result of S. Shelah.

A solution to Comfort's question on the countable compactness of powers of a topological group

Artur Hideyuki Tomita (2005)

Fundamenta Mathematicae

Similarity:

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number $α \leq 2^{}$ , a topological group G such that $G^{γ}$ is countably compact for all cardinals γ < α, but $G^{α}$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $M A_{c o u n t a b l e}$ . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from $M A_{c o u n t a b l e}$ . However, the question has...

More reflections on compactness

Lúcia R. Junqueira, Franklin D. Tall (2003)

Fundamenta Mathematicae

Similarity:

We consider the question of when $X_{M} = X$ , where $X_{M}$ is the elementary submodel topology on X ∩ M, especially in the case when $X_{M}$ is compact.

On the Set-Theoretic Strength of Countable Compactness of the Tychonoff Product $2^{ℝ}$

Eleftherios Tachtsis (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets ( $A C^{W O}$ ) does not imply “the Tychonoff product $2^{ℝ}$ , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...

On nowhere first-countable compact spaces with countable $π$ -weight

Jan van Mill (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The minimum weight of a nowhere first-countable compact space of countable $π$ -weight is shown to be $κ_{B}$ , the least cardinal $κ$ for which the real line $ℝ$ can be covered by $κ$ many nowhere dense sets.

A note on generalized projections in c₀

Beata Deręgowska, Barbara Lewandowska (2014)

Annales Polonici Mathematici

Similarity:

Let V ⊂ Z be two subspaces of a Banach space X. We define the set of generalized projections by $_{V} (X, Z) : = {P \in (X, Z) : P |}_{V} = i d$ . Now let X = c₀ or $l_{\infty}^{m}$ , Z:= kerf for some f ∈ X* and $V : = Z \cap l ⁿ_{\infty}$ (n < m). The main goal of this paper is to discuss existence, uniqueness and strong uniqueness of a minimal generalized projection in this case. Also formulas for the relative generalized projection constant and the strong uniqueness constant will be given (cf. J. Blatter and E. W. Cheney [Ann. Mat. Pura Appl. 101 (1974), 215-227] and...

Homeomorphism groups of Sierpiński carpets and Erdős space

Jan J. Dijkstra, Dave Visser (2010)

Fundamenta Mathematicae

Similarity:

Erdős space is the “rational” Hilbert space, that is, the set of vectors in ℓ² with all coordinates rational. Erdős proved that is one-dimensional and homeomorphic to its own square × , which makes it an important example in dimension theory. Dijkstra and van Mill found topological characterizations of . Let $M ₙ^{n + 1}$ , n ∈ ℕ, be the n-dimensional Menger continuum in $ℝ^{n + 1}$ , also known as the n-dimensional Sierpiński carpet, and let D be a countable dense subset of $M ₙ^{n + 1}$ . We consider the topological group...