Concerning Sets of the First Baire Category with Respect to Different Metrics

Maria Moszyńska; Grzegorz Sójka

Displaying similar documents to “Concerning Sets of the First Baire Category with Respect to Different Metrics”

Pairs of convex bodies in a hyperspace over a Minkowski two-dimensional space joined by a unique metric segment

Agnieszka Bogdewicz, Jerzy Grzybowski (2009)

Banach Center Publications

Similarity:

Let $(ℝ, | | \cdot | |_{)}$ be a Minkowski space with a unit ball and let $ϱ_{H}^{}$ be the Hausdorff metric induced by ${| | \cdot | |}_{}$ in the hyperspace of convex bodies (nonempty, compact, convex subsets of ℝ). R. Schneider [RSP] characterized pairs of elements of which can be joined by unique metric segments with respect to $ϱ_{H}^{B ⁿ}$ for the Euclidean unit ball Bⁿ. We extend Schneider’s theorem to the hyperspace $(², ϱ_{H}^{})$ over any two-dimensional Minkowski space.

On the ψ₂-behaviour of linear functionals on isotropic convex bodies

G. Paouris (2005)

Studia Mathematica

Similarity:

The slicing problem can be reduced to the study of isotropic convex bodies K with $d i a m (K) \leq c \sqrt n L_{K}$ , where $L_{K}$ is the isotropic constant. We study the ψ₂-behaviour of linear functionals on this class of bodies. It is proved that ${| | ⟨ \cdot, θ ⟩ | |}_{ψ ₂} \leq C L_{K}$ for all θ in a subset U of $S^{n - 1}$ with measure σ(U) ≥ 1 - exp(-c√n). However, there exist isotropic convex bodies K with uniformly bounded geometric distance from the Euclidean ball, such that $m a x_{θ \in S^{n - 1}} {| | ⟨ \cdot, θ ⟩ | |}_{ψ ₂} \geq c ∜ n L_{K}$ . In a different direction, we show that good average ψ₂-behaviour of linear functionals...

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

T. Konik (1991)

Matematički Vesnik

Similarity:

Adjacent dyadic systems and the $L^{p}$ -boundedness of shift operators in metric spaces revisited

Olli Tapiola (2016)

Colloquium Mathematicae

Similarity:

With the help of recent adjacent dyadic constructions by Hytönen and the author, we give an alternative proof of results of Lechner, Müller and Passenbrunner about the $L^{p}$ -boundedness of shift operators acting on functions $f \in L^{p} (X; E)$ where 1 < p < ∞, X is a metric space and E is a UMD space.

On the closure of Baire classes under transfinite convergences

Tamás Mátrai (2004)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space and Y be a separable metric space. For a fixed ξ < ω₁, consider a family $f_{α} : X \to Y (α < ω ₁)$ of Baire-ξ functions. Answering a question of Tomasz Natkaniec, we show that if for a function f: X → Y, the set $α < ω ₁ : f_{α} (x) \neq f (x)$ is finite for every x ∈ X, then f itself is necessarily Baire-ξ. The proof is based on a characterization of $Σ ⁰_{η}$ sets which can be interesting in its own right.

The discriminant and oscillation lengths for contact and Legendrian isotopies

Vincent Colin, Sheila Sandon (2015)

Journal of the European Mathematical Society

Similarity:

We define an integer-valued non-degenerate bi-invariant metric (the discriminant metric) on the universal cover of the identity component of the contactomorphism group of any contact manifold. This metric has a very simple geometric definition, based on the notion of discriminant points of contactomorphisms. Using generating functions we prove that the discriminant metric is unbounded for the standard contact structures on $ℝ^{2 n} \times S^{1}$ and $ℝ P^{2 n + 1}$ . On the other hand we also show by elementary arguments...

Baire classes of complex $L_{1}$ -preduals

Pavel Ludvík, Jiří Spurný (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $X$ be a complex $L_{1}$ -predual, non-separable in general. We investigate extendability of complex-valued bounded homogeneous Baire- $α$ functions on the set $ext B_{X^{*}}$ of the extreme points of the dual unit ball $B_{X^{*}}$ to the whole unit ball $B_{X^{*}}$ . As a corollary we show that, given $α \in [1, ω_{1})$ , the intrinsic $α$ -th Baire class of $X$ can be identified with the space of bounded homogeneous Baire- $α$ functions on the set $ext B_{X^{*}}$ when $ext B_{X^{*}}$ satisfies certain topological assumptions. The paper is intended to be a complex counterpart to...

Baire one functions and their sets of discontinuity

Jonald P. Fenecios, Emmanuel A. Cabral, Abraham P. Racca (2016)

Mathematica Bohemica

Similarity:

A characterization of functions in the first Baire class in terms of their sets of discontinuity is given. More precisely, a function $f : ℝ \to ℝ$ is of the first Baire class if and only if for each $ϵ > 0$ there is a sequence of closed sets ${C_{n}}_{n = 1}^{\infty}$ such that $D_{f} = ⋃_{n = 1}^{\infty} C_{n}$ and $ω_{f} (C_{n}) < ϵ$ for each $n$ where $ω_{f} (C_{n}) = sup {| f (x) - f (y) | : x, y \in C_{n}}$ and $D_{f}$ denotes the set of points of discontinuity of $f$ . The proof of the main theorem is based on a recent $ϵ$ - $δ$ characterization of Baire class one functions as well as on a well-known theorem due to Lebesgue. Some direct applications...

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

Operations between sets in geometry

Richard J. Gardner, Daniel Hug, Wolfgang Weil (2013)

Journal of the European Mathematical Society

Similarity:

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in $n$ -dimensional Euclidean space $ℝ^{n}$ . It is proved that if $n \geq 2$ , with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, $G L (n)$ covariant, and associative if and only if it is $L_{p}$ addition for some $1 \leq p \leq \infty$ . It is also demonstrated...

Ramsey partitions and proximity data structures

Manor Mendel, Assaf Naor (2007)

Journal of the European Mathematical Society

Similarity:

This paper addresses two problems lying at the intersection of geometric analysis and theoretical computer science: The non-linear isomorphic Dvoretzky theorem and the design of good approximate distance oracles for large distortion.We introduce the notion of Ramsey partitions of a finite metric space, and show that the existence of good Ramsey partitions implies a solution to the metric Ramsey problem for large distortion (also known as the non-linear version of the isomorphic Dvoretzky...

On strong measure zero subsets of $^{κ} 2$

Aapo Halko, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

We study the generalized Cantor space $^{κ} 2$ and the generalized Baire space $^{κ} κ$ as analogues of the classical Cantor and Baire spaces. We equip $^{κ} κ$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of $^{κ} 2$ . We prove for successor $κ = κ^{< κ}$ that the ideal of strong measure zero sets of $^{κ} 2$ is $_{κ}$ -additive, where $_{κ}$ is the size of the smallest unbounded family in $^{κ} κ$ , and that the generalized Borel...

Diagonals of separately continuous functions of $n$ variables with values in strongly $σ$ -metrizable spaces

Olena Karlova, Volodymyr Mykhaylyuk, Oleksandr Sobchuk (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove the result on Baire classification of mappings $f : X \times Y \to Z$ which are continuous with respect to the first variable and belongs to a Baire class with respect to the second one, where $X$ is a $P P$ -space, $Y$ is a topological space and $Z$ is a strongly $σ$ -metrizable space with additional properties. We show that for any topological space $X$ , special equiconnected space $Z$ and a mapping $g : X \to Z$ of the $(n - 1)$ -th Baire class there exists a strongly separately continuous mapping $f : X^{n} \to Z$ with the diagonal $g$ . For wide classes...

Differential equations in metric spaces

Jacek Tabor (2002)

Mathematica Bohemica

Similarity:

We give a meaning to derivative of a function $u ℝ \to X$ , where $X$ is a complete metric space. This enables us to investigate differential equations in a metric space. One can prove in particular Gronwall’s Lemma, Peano and Picard Existence Theorems, Lyapunov Theorem or Nagumo Theorem in metric spaces. The main idea is to define the tangent space $𝒯_{x} X$ of $x \in X$ . Let $u, v [0, 1) \to X$ , $u (0) = v (0)$ be continuous at zero. Then by the definition $u$ and $v$ are in the same equivalence class if they are tangent at zero, that is if $lim_{h \to 0^{+}} \frac{d (u (h), v (h))}{h} = 0 .$ By...

Extending generalized Whitney maps

Ivan Lončar (2017)

Archivum Mathematicum

Similarity:

For metrizable continua, there exists the well-known notion of a Whitney map. If $X$ is a nonempty, compact, and metric space, then any Whitney map for any closed subset of $2^{X}$ can be extended to a Whitney map for $2^{X}$ [3, 16.10 Theorem]. The main purpose of this paper is to prove some generalizations of this theorem.