Definable stratification satisfying the Whitney property with exponent 1

Beata Kocel-Cynk

Displaying similar documents to “Definable stratification satisfying 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}$ .

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.

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

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

A note on minimal zero-sum sequences over ℤ

Papa A. Sissokho (2014)

Acta Arithmetica

Similarity:

A zero-sum sequence over ℤ is a sequence with terms in ℤ that sum to 0. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ℤ with positive terms $a ₁, . . ., a_{h}$ and negative terms $b ₁, . . ., b_{k}$ . We prove that h ≤ ⌊σ⁺/k⌋ and k ≤ ⌊σ⁺/h⌋, where $σ ⁺ = \sum_{i = 1}^{h} a_{i} = - \sum_{j = 1}^{k} b_{j}$ . These bounds are tight and improve upon previous results. We also show a natural partial order structure on the collection of all minimal zero-sum sequences over the set i∈ ℤ : -n ≤ i ≤ n for any positive...

Minimality properties of Tsirelson type spaces

Denka Kutzarova, Denny H. Leung, Antonis Manoussakis, Wee-Kee Tang (2008)

Studia Mathematica

Similarity:

We study minimality properties of partly modified mixed Tsirelson spaces. A Banach space with a normalized basis $(e_{k})$ is said to be subsequentially minimal if for every normalized block basis $(x_{k})$ of $(e_{k})$ , there is a further block basis $(y_{k})$ of $(x_{k})$ such that $(y_{k})$ is equivalent to a subsequence of $(e_{k})$ . Sufficient conditions are given for a partly modified mixed Tsirelson space to be subsequentially minimal, and connections with Bourgain’s ℓ¹-index are established. It is also shown that a large class of...

On a problem concerning quasianalytic local rings

Hassan Sfouli (2014)

Annales Polonici Mathematici

Similarity:

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f \in_{m}$ and f̂ be its Taylor series at $0 \in ℝ^{m}$ . Split the set $ℕ^{m}$ of exponents into two disjoint subsets A and B, $ℕ^{m} = A \cup B$ , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g, h \in_{m}$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

On a magnetic characterization of spectral minimal partitions

Bernard Helffer, Thomas Hoffmann-Ostenhof (2013)

Journal of the European Mathematical Society

Similarity:

Given a bounded open set $Ω$ in $ℝ^{n}$ (or in a Riemannian manifold) and a partition of $Ω$ by $k$ open sets $D_{j}$ , we consider the quantity ${𝚖𝚊𝚡}_{j} λ (D_{j})$ where $λ (D_{j})$ is the ground state energy of the Dirichlet realization of the Laplacian in $D_{j}$ . If we denote by $ℒ_{k} (Ω)$ the infimum over all the $k$ -partitions of ${𝚖𝚊𝚡}_{j} λ (D_{j})$ , a minimal $k$ -partition is then a partition which realizes the infimum. When $k = 2$ , we find the two nodal domains of a second eigenfunction, but the analysis of higher $k$ ’s is non trivial and quite interesting. In this...

On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk

Similarity:

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong $\sum_{n}^{1}$ -collection...........................................................

Renormings of $c_{0}$ and the minimal displacement problem

Łukasz Piasecki (2014)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

The aim of this paper is to show that for every Banach space $(X, ∥ \cdot ∥)$ containing asymptotically isometric copy of the space $c_{0}$ there is a bounded, closed and convex set $C \subset X$ with the Chebyshev radius $r (C) = 1$ such that for every $k \geq 1$ there exists a $k$ -contractive mapping $T : C \to C$ with $∥ x - T x ∥ > 1 - 1 / k$ for any $x \in C$ .

Bubbling on boundary submanifolds for the Lin–Ni–Takagi problem at higher critical exponents

Manuel del Pino, Fethi Mahmudi, Monica Musso (2014)

Journal of the European Mathematical Society

Similarity:

Let $Ω$ be a bounded domain in $ℝ^{n}$ with smooth boundary $\partial Ω$ . We consider the equation $d^{2} Δ u - u + u^{\frac{n - k + 2}{n - k - 2}} = 0 in Ω$ , under zero Neumann boundary conditions, where $Ω$ is open, smooth and bounded and $d$ is a small positive parameter. We assume that there is a $k$ -dimensional closed, embedded minimal submanifold $K$ of $\partial Ω$ , which is non-degenerate, and certain weighted average of sectional curvatures of $\partial Ω$ is positive along $K$ . Then we prove the existence of a sequence $d = d_{j} \to 0$ and a positive solution $u_{d}$ such that $d^{2} {| \nabla u_{d} |}^{2} ⇀ S δ_{K} as d \to 0$ in the sense of measures,...

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

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.

On the real $X$ -ranks of points of $ℙ^{n} (ℝ)$ with respect to a real variety $X \subset ℙ^{n}$

Edoardo Ballico (2010)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let $X \subset ℙ^{n}$ be an integral and non-degenerate $m$ -dimensional variety defined over $ℝ$ . For any $P \in ℙ^{n} (ℝ)$ the real $X$ -rank $r_{X, ℝ} (P)$ is the minimal cardinality of $S \subset X (ℝ)$ such that $P \in 〈 S 〉$ . Here we extend to the real case an upper bound for the $X$ -rank due to Landsberg and Teitler.

Product property for capacities in $ℂ^{N}$

Mirosław Baran, Leokadia Bialas-Ciez (2012)

Annales Polonici Mathematici

Similarity:

The paper deals with logarithmic capacities, an important tool in pluripotential theory. We show that a class of capacities, which contains the L-capacity, has the following product property: $C_{ν} (E ₁ \times E ₂) = m i n (C_{ν ₁} (E ₁), C_{ν ₂} (E ₂))$ , where $E_{j}$ and $ν_{j}$ are respectively a compact set and a norm in $ℂ^{N_{j}}$ (j = 1,2), and ν is a norm in $ℂ^{N ₁ + N ₂}$ , ν = ν₁⊕ₚ ν₂ with some 1 ≤ p ≤ ∞. For a convex subset E of $ℂ^{N}$ , denote by C(E) the standard L-capacity and by $ω_{E}$ the minimal width of E, that is, the minimal Euclidean distance between two supporting hyperplanes...

The minimal resultant locus

Robert Rumely (2015)

Acta Arithmetica

Similarity:

Let K be a complete, algebraically closed nonarchimedean valued field, and let φ(z) ∈ K(z) have degree d ≥ 2. We study how the resultant of φ varies under changes of coordinates. For γ ∈ GL₂(K), we show that the map $γ \mapsto o r d (R e s (φ^{γ}))$ factors through a function $o r d R e s_{φ} (\cdot)$ on the Berkovich projective line, which is piecewise affine and convex up. The minimal resultant is achieved either at a single point in $P ¹_{K}$ , or on a segment, and the minimal resultant locus is contained in the tree in $P ¹_{K}$ spanned by the fixed points...

Varieties of minimal rational tangents of codimension 1

Jun-Muk Hwang (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $X$ be a uniruled projective manifold and let $x$ be a general point. The main result of [2] says that if the $(- K_{X})$ -degrees (i.e., the degrees with respect to the anti-canonical bundle of $X$ ) of all rational curves through $x$ are at least $dim X + 1$ , then $X$ is a projective space. In this paper, we study the structure of $X$ when the $(- K_{X})$ -degrees of all rational curves through $x$ are at least $dim X$ . Our study uses the projective variety $𝒞_{x} \subset ℙ T_{x} (X)$ , called the VMRT at $x$ , defined as the union of tangent directions to the...

A class of non-rational surface singularities with bijective Nash map

Camille Plénat, Patrick Popescu-Pampu (2006)

Bulletin de la Société Mathématique de France

Similarity:

Let $(𝒮, 0)$ be a germ of complex analytic normal surface. On its minimal resolution, we consider the reduced exceptional divisor $E$ and its irreducible components $E_{i}$ , $i \in I$ . The Nash map associates to each irreducible component $C_{k}$ of the space of arcs through $0$ on $𝒮$ the unique component of $E$ cut by the strict transform of the generic arc in $C_{k}$ . Nash proved its injectivity and asked if it was bijective. As a particular case of our main theorem, we prove that this is the case if $E \cdot E_{i} < 0$ for any $i \in I$ . ...

On the solvability of systems of linear equations over the ring $ℤ$ of integers

Horst Herrlich, Eleftherios Tachtsis (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate the question whether a system ${(E_{i})}_{i \in I}$ of homogeneous linear equations over $ℤ$ is non-trivially solvable in $ℤ$ provided that each subsystem ${(E_{j})}_{j \in J}$ with $| J | \leq c$ is non-trivially solvable in $ℤ$ where $c$ is a fixed cardinal number such that $c < | I |$ . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $| I | = ℵ_{0}$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c \leq ℵ_{0}$ is ‘No...

A Dichotomy Principle for Universal Series

V. Farmaki, V. Nestoridis (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Applying results of the infinitary Ramsey theory, namely the dichotomy principle of Galvin-Prikry, we show that for every sequence ${(α_{j})}_{j = 1}^{\infty}$ of scalars, there exists a subsequence ${(α_{k_{j}})}_{j = 1}^{\infty}$ such that either every subsequence of ${(α_{k_{j}})}_{j = 1}^{\infty}$ defines a universal series, or no subsequence of ${(α_{k_{j}})}_{j = 1}^{\infty}$ defines a universal series. In particular examples we decide which of the two cases holds.

On preimages of ultrafilters in ZF

Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that given infinite sets $X, Y$ and a function $f : X \to Y$ which is onto and $n$ -to-one for some $n \in ℕ$ , the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f : A \to ω$ such that for each free ultrafilter of $ω$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

On operators from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ or to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$

Christian Samuel (2010)

Colloquium Mathematicae

Similarity:

We show that every operator from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ is compact when 1 ≤ p,q < s and that every operator from $ℓ_{s}$ to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$ is compact when 1/p + 1/q > 1 + 1/s.

Some types of points in $N^{*}$

Gryzlov, A.

Similarity:

Hardness of embedding simplicial complexes in $ℝ^{d}$

Jiří Matoušek, Martin Tancer, Uli Wagner (2011)

Journal of the European Mathematical Society

Similarity:

Let ${𝙴𝙼𝙱𝙴𝙳}_{k \to d}$ be the following algorithmic problem: Given a ﬁnite simplicial complex $K$ of dimension at most $k$ , does there exist a (piecewise linear) embedding of $K$ into $ℝ^{d}$ ? Known results easily imply polynomiality of ${𝙴𝙼𝙱𝙴𝙳}_{k \to 2}$ ( $k = 1, 2$ ; the case $k = 1, d = 2$ is graph planarity) and of ${𝙴𝙼𝙱𝙴𝙳}_{k \to 2 k}$ for all $k \geq 3$ . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${𝙴𝙼𝙱𝙴𝙳}_{d \to d}$ and ${𝙴𝙼𝙱𝙴𝙳}_{(d - 1) \to d}$ are undecidable for each $_{d} \geq 5$ . Our main result is NP-hardness of ${𝙴𝙼𝙱𝙴𝙳}_{2 \to 4}$ and, more generally, of ${𝙴𝙼𝙱𝙴𝙳}_{k \to d}$ for all...

On affinity of Peano type functions

Tomasz Słonka (2012)

Colloquium Mathematicae

Similarity:

We show that if n is a positive integer and $2^{ℵ ₀} \leq ℵ ₙ$ , then for every positive integer m and for every real constant c > 0 there are functions $f ₁, . . ., f_{n + m} : ℝ ⁿ \to ℝ$ such that $(f ₁, . . ., f_{n + m}) (ℝ ⁿ) = ℝ^{n + m}$ and for every x ∈ ℝⁿ there exists a strictly increasing sequence (i₁,...,iₙ) of numbers from 1,...,n+m and a w ∈ ℤⁿ such that $(f_{i ₁}, . . ., f_{i ₙ}) (y) = y + w$ for $y \in x + (- c, c) \times ℝ^{n - 1}$ .