A Bing-Borsuk retract which contains a 2-dimensional absolute retract

Steve Armentrout

Displaying similar documents to “A Bing-Borsuk retract which contains a 2-dimensional absolute retract”

A class of retracts in $L^{p}$ with some applications to differential inclusion

Grzegorz Bartuzel, Andrzej Fryszkowski (2002)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

Extension properties of Stone-Čech coronas and proper absolute extensors

A. Chigogidze (2013)

Fundamenta Mathematicae

Similarity:

We characterize, in terms of X, the extensional dimension of the Stone-Čech corona βX∖X of a locally compact and Lindelöf space X. The non-Lindelöf case is also settled in terms of extending proper maps with values in $I^{τ} ∖ L$ , where L is a finite complex. Further, for a finite complex L, an uncountable cardinal τ and a $Z_{τ}$ -set X in the Tikhonov cube $I^{τ}$ we find a necessary and sufficient condition, in terms of $I^{τ} ∖ X$ , for X to be in the class AE([L]). We also introduce a concept of a proper absolute...

Retracts that are kernels of locally nilpotent derivations

Dayan Liu, Xiaosong Sun (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $k$ be a field of characteristic zero and $B$ a $k$ -domain. Let $R$ be a retract of $B$ being the kernel of a locally nilpotent derivation of $B$ . We show that if $B = R \oplus I$ for some principal ideal $I$ (in particular, if $B$ is a UFD), then $B = R^{[1]}$ , i.e., $B$ is a polynomial algebra over $R$ in one variable. It is natural to ask that, if a retract $R$ of a $k$ -UFD $B$ is the kernel of two commuting locally nilpotent derivations of $B$ , then does it follow that $B ≅ R^{[2]}$ ? We give a negative answer to this question. The interest in...

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

An irrational problem

Franklin D. Tall (2002)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_{M}$ to be X ∩ M with topology generated by $U \cap M : U \in \cap M$ . Suppose $X_{M}$ is homeomorphic to the irrationals; must $X = X_{M}$ ? We have partial results. We also answer a question of Gruenhage by showing that if $X_{M}$ is homeomorphic to the “Long Cantor Set”, then $X = X_{M}$ .

Fourier approximation and embeddings of Sobolev spaces

D. E. Edmunds, V. B. Moscatelli

Similarity:

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m, p} (Ω)$ into $L^{S} (Ω)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m, p} (Ω)$ into $L^{φ} (Ω)$ ...............................................................

A characterization of the disc $D^{n}$

Th. Friedrich (1974)

Colloquium Mathematicae

Similarity:

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.

Embedding in $T_{3}$ - $F_{σ}$ spaces

D. W. Hajek, I. Irizarry (1981)

Matematički Vesnik

Similarity:

On non-normality points, Tychonoff products and Suslin number

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let a space $X$ be Tychonoff product $\prod_{α < τ} X_{α}$ of $τ$ -many Tychonoff nonsingle point spaces $X_{α}$ . Let Suslin number of $X$ be strictly less than the cofinality of $τ$ . Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $β X$ . In particular, this is true if $X$ is either $R^{τ}$ or $ω^{τ}$ and a cardinal $τ$ is infinite and not countably cofinal.

On the fundamental solution of the equation $∆^{p} u (X) + k (r) u (X) = 0$

J. Musiałek (1969)

Annales Polonici Mathematici

Similarity:

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

Finite-dimensional maps and dendrites with dense sets of end points

Hisao Kato, Eiichi Matsuhashi (2006)

Colloquium Mathematicae

Similarity:

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C (X, I^{p + 2 k + 1 - i})$ such that the diagonal product $f \times g : X \to Y \times I^{p + 2 k + 1 - i}$ is an (i+1)-to-1 map is a dense $G_{δ}$ -subset of $C (X, I^{p + 2 k + 1 - i})$ . In this paper, we prove that if f: X → Y is as above and $D_{j}$ (j = 1,..., k) are superdendrites, then the set of maps h in $C (X, \prod_{j = 1}^{k} D_{j} \times I^{p + 1 - i})$ such that $f \times h : X \to Y \times (\prod_{j = 1}^{k} D_{j} \times I^{p + 1 - i})$ is (i+1)-to-1 is a dense $G_{δ}$ -subset of $C (X, \prod_{j = 1}^{k} D_{j} \times I^{p + 1 - i})$ for each 0 ≤ i ≤ p.

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

Complete pairs of coanalytic sets

Jean Saint Raymond (2007)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of $ω^{ω}$ there exists a continuous function $f : ω^{ω} \to X$ such that $f^{- 1} (C ₀) = D ₀$ and $f^{- 1} (C ₁) = D ₁$ . We give several explicit examples of complete pairs of coanalytic sets.

$L_{p, q}$ spaces

Joseph Kupka

Similarity:

CONTENTS1. Introduction...................................................................................................... 52. Notation and basic terminology........................................................................... 73. Definition and basic properties of the $L_{p, q}$ spaces................................. 114. Integral representation of bounded linear functionals on $L_{p, q} (B)$ ........ 235. Examples in $L_{p, q}$ theory...................................................................................

On starshapedness of the union of closed sets in $R^{n}$

Krzysztof Kołodziejczyk (1987)

Colloquium Mathematicae

Similarity:

A localization property for $B_{p q}^{s}$ and $F_{p q}^{s}$ spaces

Hans Triebel (1994)

Studia Mathematica

Similarity:

Let $f^{j} = \sum_{k} a_{k} f (2^{j + 1} x - 2 k)$ , where the sum is taken over the lattice of all points k in $ℝ^{n}$ having integer-valued components, j∈ℕ and $a_{k} \in ℂ$ . Let $A_{p q}^{s}$ be either $B_{p q}^{s}$ or $F_{p q}^{s}$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on $ℝ^{n} .$ The aim of the paper is to clarify under what conditions $∥ f^{j} | A_{p q}^{s} ∥$ is equivalent to $2^{j (s - n / p)} (\sum_{k} | a_{k} |^{p})^{1 / p} ∥ f | A_{p q}^{s} ∥$ .

Variations on a question concerning the degrees of divisors of $x^{n} - 1$

Lola Thompson (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

In this paper, we examine a natural question concerning the divisors of the polynomial $x^{n} - 1$ : “How often does $x^{n} - 1$ have a divisor of every degree between $1$ and $n$ ?” In a previous paper, we considered the situation when $x^{n} - 1$ is factored in $ℤ [x]$ . In this paper, we replace $ℤ [x]$ with $𝔽_{p} [x]$ , where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$ .

General position properties in fiberwise geometric topology

Taras Banakh, Vesko Valov

Similarity:

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L C^{n - 1}$ -space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

On the Configuration Spaces of Grassmannian Manifolds

Sandro Manfredini, Simona Settepanella (2014)

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

Similarity:

Let $ℱ_{h}^{i} (k, n)$ be the $i$ -th ordered configuration space of all distinct points $H_{1}, ..., H_{h}$ in the Grassmannian $G r (k, n)$ of $k$ -dimensional subspaces of $ℂ^{n}$ , whose sum is a subspace of dimension $i$ . We prove that $ℱ_{h}^{i} (k, n)$ is (when non empty) a complex submanifold of $G r {(k, n)}^{h}$ of dimension $i (n - i) + h k (i - k)$ and its fundamental group is trivial if $i = m i n (n, h k)$ , $h k \neq n$ and $n > 2$ and equal to the braid group of the sphere $ℂ$ $P^{1}$ if $n = 2$ . Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k = n - 1$ .

Wallman-type compaerifications and function lattices

Alessandro Caterino, Maria Cristina Vipera (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Let $F\subset C^{\ast}(X)$ be a vector sublattice over $\mathbb{R}$ which separates points from closed sets of $X$ . The compactification $e_{F}X$ obtained by embedding $X$ in a real cube via the diagonal map, is different, in general, from the Wallman compactification $\omega(Z(F))$ . In this paper, it is shown that there exists a lattice $F_{z}$ containing $F$ such that $\omega(Z(F))=\omega(Z(F_{z}))=e_{F}X$ . In particular this implies that $\omega(Z(F))\geq e_{F}X$ . Conditions in order to be $\omega(Z(F))=e_{F}X$ are given. Finally we prove that, if $\alpha X$ is a compactification of $X$ such that $Cl_{\alpha X}(\alpha X\setminus X)$ is $0$ -dimensional, then there is an...

A Note on VLO Functions

Francesca Angrisani, Giacomo Ascione (2018)

Rendiconto dell’Accademia delle Scienze Fisiche e Matematiche

Similarity:

Inspired by a result from Leibov, we ﬁnd that the supremum deﬁning the $B L O$ norm in $[0,1]$ is actually attained by a speciﬁc sub-interval of $[0,1]$ for $f\in VLO([0,1])$

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 strong $(N, p, α)$ sumability of infinite series III.

R. Sinha (1973)

Matematički Vesnik

Similarity: