Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  metric spaces
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

How to get rid of one of the weights in a two-weight Poincaré inequality?

100%
EN
We prove that if a Poincaré inequality with two different weights holds on every ball, then a Poincaré inequality with the same weight on both sides holds as well.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

O ilości nierównoważnych metryk

100%
EN
It is well known that there exist many metrics on a non-emptyset. In the case of $(X, \varrho)$ − a finite metric set, it can be easily shown that all the metrics on X are equivalent. This paper examines the number of non-equivalent metrics on uncountably infinite sets.
3
Content available remote

Compactness in Metric Spaces

100%
EN
In this article, we mainly formalize in Mizar [2] the equivalence among a few compactness definitions of metric spaces, norm spaces, and the real line. In the first section, we formalized general topological properties of metric spaces. We discussed openness and closedness of subsets in metric spaces in terms of convergence of element sequences. In the second section, we firstly formalize the definition of sequentially compact, and then discuss the equivalence of compactness, countable compactness, sequential compactness, and totally boundedness with completeness in metric spaces. In the third section, we discuss compactness in norm spaces. We formalize the equivalence of compactness and sequential compactness in norm space. In the fourth section, we formalize topological properties of the real line in terms of convergence of real number sequences. In the last section, we formalize the equivalence of compactness and sequential compactness in the real line. These formalizations are based on [20], [5], [17], [14], and [4].
4
Content available remote

On Conditions for Unrectifiability of a Metric Space

88%
EN
We find necessary and sufficient conditions for a Lipschitz map f : E ⊂ ℝk → X into a metric space to satisfy ℋk(f(E)) = 0. An interesting feature of our approach is that despite the fact that we are dealing with arbitrary metric spaces, we employ a variant of the classical implicit function theorem. Applications include pure unrectifiability of the Heisenberg groups.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.