Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

Alessandro Andretta; Alberto Marcone

Displaying similar documents to “Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension”

Linear orders and MA + ¬wKH

Zoran Spasojević (1995)

Fundamenta Mathematicae

Similarity:

I prove that the statement that “every linear order of size $2^{ω}$ can be embedded in $(ω^{ω}, ≪)$ ” is consistent with MA + ¬ wKH.

The minimum uniform compactification of a metric space

R. Grant Woods (1995)

Fundamenta Mathematicae

Similarity:

It is shown that associated with each metric space (X,d) there is a compactification $u_{d} X$ of X that can be characterized as the smallest compactification of X to which each bounded uniformly continuous real-valued continuous function with domain X can be extended. Other characterizations of $u_{d} X$ are presented, and a detailed study of the structure of $u_{d} X$ is undertaken. This culminates in a topological characterization of the outgrowth $u_{d} ℝ^{n} ∖ ℝ^{n}$ , where $(ℝ^{n}, d)$ is Euclidean n-space with its usual metric. ...

Classical-type characterizations of non-metrizable ANE(n)-spaces

Valentin Gutev, Vesko Valov (1994)

Fundamenta Mathematicae

Similarity:

The Kuratowski-Dugundji theorem that a metrizable space is an absolute (neighborhood) extensor in dimension n iff it is $L C^{n - 1} C^{n - 1}$ (resp., $L C^{n - 1}$ ) is extended to a class of non-metrizable absolute (neighborhood) extensors in dimension n. On this base, several facts concerning metrizable extensors are established for non-metrizable ones.

From Newton’s method to exotic basins Part I: The parameter space

Krzysztof Barański (1998)

Fundamenta Mathematicae

Similarity:

This is the first part of the work studying the family $𝔉$ of all rational maps of degree three with two superattracting fixed points. We determine the topological type of the moduli space of $𝔉$ and give a detailed study of the subfamily $ℱ_{2}$ consisting of maps with a critical point which is periodic of period 2. In particular, we describe a parabolic bifurcation in $ℱ_{2}$ from Newton maps to maps with so-called exotic basins.

The Arkhangel’skiĭ–Tall problem: a consistent counterexample

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

Similarity:

We construct a consistent example of a normal locally compact metacompact space which is not paracompact, answering a question of A. V. Arkhangel’skiĭ and F. Tall. An interplay between a tower in P(ω)/Fin, an almost disjoint family in ${[ω]}^{ω}$ , and a version of an (ω,1)-morass forms the core of the proof. A part of the poset which forces the counterexample can be considered a modification of a poset due to Judah and Shelah for obtaining a Q-set by a countable support iteration.

Hausdorff ’s theorem for posets that satisfy the finite antichain property

Uri Abraham, Robert Bonnet (1999)

Fundamenta Mathematicae

Similarity:

Hausdorff characterized the class of scattered linear orderings as the least family of linear orderings that includes the ordinals and is closed under ordinal summations and inversions. We formulate and prove a corresponding characterization of the class of scattered partial orderings that satisfy the finite antichain condition (FAC). Consider the least class of partial orderings containing the class of well-founded orderings that satisfy the FAC and is closed under the following operations:...

Dugundji extenders and retracts on generalized ordered spaces

Gary Gruenhage, Yasunao Hattori, Haruto Ohta (1998)

Fundamenta Mathematicae

Similarity:

For a subspace A of a space X, a linear extender φ:C(A) → C(X) is called an $L_{c h}$ -extender (resp. $L_{c c h}$ -extender) if φ(f)[X] is included in the convex hull (resp. closed convex hull) of f[A] for each f ∈ C(A). Consider the following conditions (i)-(vii) for a closed subset A of a GO-space X: (i) A is a retract of X; (ii) A is a retract of the union of A and all clopen convex components of X; (iii) there is a continuous $L_{c h}$ -extender φ:C(A × Y) → C(X × Y), with respect to both the compact-open topology...

Universal spaces in the theory of transfinite dimension, II

Wojciech Olszewski (1994)

Fundamenta Mathematicae

Similarity:

We construct a family of spaces with “nice” structure which is universal in the class of all compact metrizable spaces of large transfinite dimension $ω_{0}$ , or, equivalently, of small transfinite dimension $ω_{0}$ ; that is, the family consists of compact metrizable spaces whose transfinite dimension is $ω_{0}$ , and every compact metrizable space with transfinite dimension $ω_{0}$ is embeddable in a space of the family. We show that the least possible cardinality of such a universal family is equal to the...

Countable partitions of the sets of points and lines

James Schmerl (1999)

Fundamenta Mathematicae

Similarity:

The following theorem is proved, answering a question raised by Davies in 1963. If $L_{0} \cup L_{1} \cup L_{2} \cup . . .$ is a partition of the set of lines of $ℝ^{n}$ , then there is a partition $ℝ^{n} = S_{0} \cup S_{1} \cup S_{2} \cup . . .$ such that $| ℓ \cap S_{i} | \leq 2$ whenever $ℓ \in L_{i}$ . There are generalizations to some other, higher-dimensional subspaces, improving recent results of Erdős, Jackson Mauldin.

The normalizer splitting conjecture for p-compact groups

Kasper Andersen (1999)

Fundamenta Mathematicae

Similarity:

Let X be a p-compact group, with maximal torus BT → BX, maximal torus normalizer BN and Weyl group $W_{X}$ . We prove that for an odd prime p, the fibration $B T \to B N \to B W_{X}$ has a section, which is unique up to vertical homotopy.

A Lefschetz-type coincidence theorem

Peter Saveliev (1999)

Fundamenta Mathematicae

Similarity:

A Lefschetz-type coincidence theorem for two maps f,g: X → Y from an arbitrary topological space to a manifold is given: $I_{f g} = λ_{f g}$ , that is, the coincidence index is equal to the Lefschetz number. It follows that if $λ_{f g} \neq 0$ then there is an x ∈ X such that f(x) = g(x). In particular, the theorem contains well-known coincidence results for (i) X,Y manifolds, f boundary-preserving, and (ii) Y Euclidean, f with acyclic fibres. It also implies certain fixed point results for multivalued maps with “point-like”...

Topological realization of a family of pseudoreflection groups

Dietrich Notbohm (1998)

Fundamenta Mathematicae

Similarity:

We are interested in a topological realization of a family of pseudoreflection groups $G \subset G L (n, F_{p})$ ; i.e. we are looking for topological spaces whose mod-p cohomology is isomorphic to the ring of invariants $F_{p} {[x_{1}, . . ., x_{n}]}^{G}$ . Spaces of this type give partial answers to a problem of Steenrod, namely which polynomial algebras over $F_{p}$ can appear as the mod-p cohomology of a space. The family under consideration is given by pseudoreflection groups which are subgroups of the wreath product $ℤ / q ≀ Σ_{n}$ where q divides p - 1 and...

The space of ANR’s in $ℝ^{n}$

Tadeusz Dobrowolski, Leonard Rubin (1994)

Fundamenta Mathematicae

Similarity:

The hyperspaces $A N R (ℝ^{n})$ and $A R (ℝ^{n})$ in $2^{ℝ^{n}} (n \geq 3)$ consisting respectively of all compact absolute neighborhood retracts and all compact absolute retracts are studied. It is shown that both have the Borel type of absolute $G_{δ σ δ}$ -spaces and that, indeed, they are not $F_{σ δ σ}$ -spaces. The main result is that $A N R (ℝ^{n})$ is an absorber for the class of all absolute $G_{δ σ δ}$ -spaces and is therefore homeomorphic to the standard model space $Ω_{3}$ of this class.

Solution of the 1 : −2 resonant center problem in the quadratic case

Alexandra Fronville, Anton Sadovski, Henryk Żołądek (1998)

Fundamenta Mathematicae

Similarity:

The 1:-2 resonant center problem in the quadratic case is to find necessary and sufficient conditions (on the coefficients) for the existence of a local analytic first integral for the vector field $(x + A_{1} x^{2} + B_{1} x y + C y^{2}) \partial_{x} + (- 2 y + D x^{2} + A_{2} x y + B_{2} y^{2}) \partial_{y}$ . There are twenty cases of center. Their necessity was proved in [4] using factorization of polynomials with integer coefficients modulo prime numbers. Here we show that, in each of the twenty cases found in [4], there is an analytic first integral. We develop a new method of investigation...

Homotopy orbits of free loop spaces

Marcel Bökstedt, Iver Ottosen (1999)

Fundamenta Mathematicae

Similarity:

Let X be a space with free loop space ΛX and mod two cohomology R = H*X. We construct functors $Ω_{λ} (R)$ and ℓ(R) together with algebra homomorphisms $e : Ω_{λ} (R) \to H * (Λ X)$ and $ψ : ℓ (R) \to H * (E S^{1} \times_{S^{1}} Λ X)$ . When X is 1-connected and R is a symmetric algebra we show that these are isomorphisms.

Self-homeomorphisms of the 2-sphere which fix pointwise a nonseparating continuum

Paul Fabel (1998)

Fundamenta Mathematicae

Similarity:

We prove that the space of orientation preserving homeomorphisms of the 2-sphere which fix pointwise a nontrivial nonseparating continuum is a contractible absolute neighborhood retract homeomorphic to the separable Hilbert space $l_{2}$ .

Diagonal conditions in ordered spaces

Harold Bennett, David Lutzer (1997)

Fundamenta Mathematicae

Similarity:

For a space X and a regular uncountable cardinal κ ≤ |X| we say that κ ∈ D(X) if for each $T \subset X^{2} - Δ (X)$ with |T| = κ, there is an open neighborhood W of Δ(X) such that |T - W| = κ. If $ω_{1} \in D (X)$ then we say that X has a small diagonal, and if every regular uncountable κ ≤ |X| belongs to D(X) then we say that X has an H-diagonal. In this paper we investigate the interplay between D(X) and topological properties of X in the category of generalized ordered spaces. We obtain cardinal invariant theorems and metrization...

Cantor manifolds in the theory of transfinite dimension

Wojciech Olszewski (1994)

Fundamenta Mathematicae

Similarity:

For every countable non-limit ordinal α we construct an α-dimensional Cantor ind-manifold, i.e., a compact metrizable space $Z_{α}$ such that $i n d Z_{α} = α$ , and no closed subset L of $Z_{α}$ with ind L less than the predecessor of α is a partition in $Z_{α}$ . An α-dimensional Cantor Ind-manifold can be constructed similarly.