Strong Cohomological Dimension

Jerzy Dydak; Akira Koyama

Displaying similar documents to “Strong Cohomological Dimension”

Szpilrajn type theorem for concentration dimension

Jozef Myjak, Tomasz Szarek (2002)

Fundamenta Mathematicae

Similarity:

Let X be a locally compact, separable metric space. We prove that $d i m_{T} X = i n f d i m_{L} X^{'} : X^{'} i s h o m e o m o r p h i c t o X$ , where $d i m_{L} X$ and $d i m_{T} X$ stand for the concentration dimension and the topological dimension of X, respectively.

Borsuk-Sieklucki theorem in cohomological dimension theory

Margareta Boege, Jerzy Dydak, Rolando Jiménez, Akira Koyama, Evgeny V. Shchepin (2002)

Fundamenta Mathematicae

Similarity:

The Borsuk-Sieklucki theorem says that for every uncountable family ${X_{α}}_{α \in A}$ of n-dimensional closed subsets of an n-dimensional ANR-compactum, there exist α ≠ β such that $d i m (X_{α} \cap X_{β}) = n$ . In this paper we show a cohomological version of that theorem: Theorem. Suppose a compactum X is $c l c_{ℤ}^{n + 1}$ , where n ≥ 1, and G is an Abelian group. Let ${X_{α}}_{α \in J}$ be an uncountable family of closed subsets of X. If $d i m_{G} X = d i m_{G} X_{α} = n$ for all α ∈ J, then $d i m_{G} (X_{α} \cap X_{β}) = n$ for some α ≠ β. For G being a countable principal ideal domain the above result was proved by Choi...

Maps with dimensionally restricted fibers

Vesko Valov (2011)

Colloquium Mathematicae

Similarity:

We prove that if f: X → Y is a closed surjective map between metric spaces such that every fiber $f^{- 1} (y)$ belongs to a class S of spaces, then there exists an $F_{σ}$ -set A ⊂ X such that A ∈ S and $d i m f^{- 1} (y) ∖ A = 0$ for all y ∈ Y. Here, S can be one of the following classes: (i) M: e-dim M ≤ K for some CW-complex K; (ii) C-spaces; (iii) weakly infinite-dimensional spaces. We also establish that if S = M: dim M ≤ n, then dim f ∆ g ≤ 0 for almost all $g \in C (X,^{n + 1})$ .

Wijsman hyperspaces of non-separable metric spaces

Rodrigo Hernández-Gutiérrez, Paul J. Szeptycki (2015)

Fundamenta Mathematicae

Similarity:

Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology $τ_{W (ρ)}$ . It is known that $⟨ C L (X), τ_{W (ρ)} ⟩$ is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to $⟨ C L (X), τ_{W (ρ)} ⟩$ being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then $⟨ C L (X), τ_{W (ρ)} ⟩$ is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces. ...

On the Separation Dimension of $K_{ω}$

Yasunao Hattori, Jan van Mill (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We prove that $t r t K_{ω} > ω + 1$ , where trt stands for the transfinite extension of Steinke’s separation dimension. This answers a question of Chatyrko and Hattori.

$ℰ_{B}$ -dimension function of bitopological spaces

M. Jelić (1987)

Matematički Vesnik

Similarity:

Homogeneity and non-coincidence of Hausdorff and box dimensions for subsets of ℝⁿ

Anders Nilsson, Peter Wingren (2007)

Studia Mathematica

Similarity:

A class of subsets of ℝⁿ is constructed that have certain homogeneity and non-coincidence properties with respect to Hausdorff and box dimensions. For each triple (r,s,t) of numbers in the interval (0,n] with r < s < t, a compact set K is constructed so that for any non-empty subset U relatively open in K, we have $(d i m_{H} (U), {\underset{̲}{d i m}}_{B} (U), {\bar{d i m}}_{B} (U)) = (r, s, t)$ . Moreover, $2^{- n} \leq H^{r} (K) \leq 2 n^{r / 2}$ .

Universal acyclic resolutions for arbitrary coefficient groups

Michael Levin (2003)

Fundamenta Mathematicae

Similarity:

We prove that for every compactum X and every integer n ≥ 2 there are a compactum Z of dimension ≤ n+1 and a surjective $U V^{n - 1}$ -map r: Z → X such that for every abelian group G and every integer k ≥ 2 such that $d i m_{G} X \leq k \leq n$ we have $d i m_{G} Z \leq k$ and r is G-acyclic.

Module-valued functors preserving the covering dimension

Jan Spěvák (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove a general theorem about preservation of the covering dimension $dim$ by certain covariant functors that implies, among others, the following concrete results. If $G$ G is a pathwise connected...

Birational positivity in dimension $4$

Behrouz Taji (2014)

Annales de l’institut Fourier

Similarity:

In this paper we prove that for a nonsingular projective variety of dimension at most 4 and with non-negative Kodaira dimension, the Kodaira dimension of coherent subsheaves of $Ω^{p}$ is bounded from above by the Kodaira dimension of the variety. This implies the finiteness of the fundamental group for such an $X$ provided that $X$ has vanishing Kodaira dimension and non-trivial holomorphic Euler characteristic.

The nonexistence of universal metric flows

Stefan Geschke (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We consider dynamical systems of the form $(X, f)$ where $X$ is a compact metric space and $f : X \to X$ is either a continuous map or a homeomorphism and provide a new proof that there is no universal metric dynamical system of this kind. The same is true for metric minimal dynamical systems and for metric abstract $ω$ -limit sets, answering a question by Will Brian.

Some versions of second countability of metric spaces in ZF and their role to compactness

Kyriakos Keremedis (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In the realm of metric spaces we show in ZF that: (i) A metric space is compact if and only if it is countably compact and for every $ε > 0$ , every cover by open balls of radius $ε$ has a countable subcover. (ii) Every second countable metric space has a countable base consisting of open balls if and only if the axiom of countable choice restricted to subsets of $ℝ$ holds true. (iii) A countably compact metric space is separable if and only if it is second countable.

Some Čebyšev sets with dimension d + 1 in hyperspaces over $ℝ^{d}$

R. J. MacG. Dawson (2009)

Banach Center Publications

Similarity:

A Čebyšev set in a metric space is one such that every point of the space has a unique nearest neighbour in the set. In Euclidean spaces, this property is equivalent to being closed, convex, and nonempty, but in other spaces classification of Čebyšev sets may be significantly more difficult. In particular, in hyperspaces over normed linear spaces several quite different classes of Čebyšev sets are known, with no unifying description. Some new families of Čebyšev sets in hyperspaces are...

On dimensionally restricted maps

H. Murat Tuncali, Vesko Valov (2002)

Fundamenta Mathematicae

Similarity:

Let f: X → Y be a closed n-dimensional surjective map of metrizable spaces. It is shown that if Y is a C-space, then: (1) the set of all maps g: X → ⁿ with dim(f △ g) = 0 is uniformly dense in C(X,ⁿ); (2) for every 0 ≤ k ≤ n-1 there exists an $F_{σ}$ -subset $A_{k}$ of X such that $d i m A_{k} \leq k$ and the restriction $f | (X ∖ A_{k})$ is (n-k-1)-dimensional. These are extensions of theorems by Pasynkov and Toruńczyk, respectively, obtained for finite-dimensional spaces. A generalization of a result due to Dranishnikov and Uspenskij...

A metric graph satisfying [...] w 4 1 = 1 $w_{4}^{1} = 1$ that cannot be lifted to a curve satisfying [...] dim ⁡ ( W 4 1 ) = 1 $dim (W_{4}^{1}) = 1$

Marc Coppens (2016)

Open Mathematics

Similarity:

For all integers g ≥ 6 we prove the existence of a metric graph G with [...] w41=1 $w_{4}^{1} = 1$ such that G has Clifford index 2 and there is no tropical modification G′ of G such that there exists a finite harmonic morphism of degree 2 from G′ to a metric graph of genus 1. Those examples show that not all dimension theorems on the space classifying special linear systems for curves have immediate translation to the theory of divisors on metric graphs.

Characterization of local dimension functions of subsets of $ℝ^{d}$

L. Olsen (2005)

Colloquium Mathematicae

Similarity:

For a subset $E \subseteq ℝ^{d}$ and $x \in ℝ^{d}$ , the local Hausdorff dimension function of E at x is defined by $d i m_{H, l o c} (x, E) = l i m_{r ↘ 0} d i m_{H} (E \cap B (x, r))$ where $d i m_{H}$ denotes the Hausdorff dimension. We give a complete characterization of the set of functions that are local Hausdorff dimension functions. In fact, we prove a significantly more general result, namely, we give a complete characterization of those functions that are local dimension functions of an arbitrary regular dimension index.

On the tangency of sets in generalized metric spaces for certain functions of the class $F_{ρ}^{*}$

T. Konik (1991)

Matematički Vesnik

Similarity: