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

Znaleziono wyników: 5

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

Wyniki wyszukiwania

help Sortuj według:

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

Cousin’s Lemma

100%
Coghetto R.
Formalized Mathematics
|
2016
|
tom 24
|
nr 2
107-119
EN
We formalize, in two different ways, that “the n-dimensional Euclidean metric space is a complete metric space” (version 1. with the results obtained in [13], [26], [25] and version 2., the results obtained in [13], [14], (registrations) [24]). With the Cantor’s theorem - in complete metric space (proof by Karol Pąk in [22]), we formalize “The Nested Intervals Theorem in 1-dimensional Euclidean metric space”. Pierre Cousin’s proof in 1892 [18] the lemma, published in 1895 [9] states that: “Soit, sur le plan YOX, une aire connexe S limitée par un contour fermé simple ou complexe; on suppose qu’à chaque point de S ou de son périmètre correspond un cercle, de rayon non nul, ayant ce point pour centre : il est alors toujours possible de subdiviser S en régions, en nombre fini et assez petites pour que chacune d’elles soit complétement intérieure au cercle correspondant à un point convenablement choisi dans S ou sur son périmètre.” (In the plane YOX let S be a connected area bounded by a closed contour, simple or complex; one supposes that at each point of S or its perimeter there is a circle, of non-zero radius, having this point as its centre; it is then always possible to subdivide S into regions, finite in number and sufficiently small for each one of them to be entirely inside a circle corresponding to a suitably chosen point in S or on its perimeter) [23]. Cousin’s Lemma, used in Henstock and Kurzweil integral [29] (generalized Riemann integral), state that: “for any gauge δ, there exists at least one δ-fine tagged partition”. In the last section, we formalize this theorem. We use the suggestions given to the Cousin’s Theorem p.11 in [5] and with notations: [4], [29], [19], [28] and [12].
2
Content available remote

A decomposition theorem for compact groups with an application to supercompactness

76%
Kubiś W., Turek S.
Open Mathematics
|
2011
|
tom 9
|
nr 3
593-602
EN
We show that every compact connected group is the limit of a continuous inverse sequence, in the category of compact groups, where each successor bonding map is either an epimorphism with finite kernel or the projection from a product by a simple compact Lie group. As an application, we present a proof of an unpublished result of Charles Mills from 1978: every compact group is supercompact.
3
Content available remote

Boolean algebras admitting a countable minimally acting group

64%
Błaszczyk A., Kucharski A., Turek S.
Open Mathematics
|
2014
|
tom 12
|
nr 1
46-56
EN
The aim of this paper is to show that every infinite Boolean algebra which admits a countable minimally acting group contains a dense projective subalgebra.
4
Content available remote

Group reflection and precompact paratopological groups

64%
Tkachenko M.
Topological Algebra and its Applications
|
2013
|
tom 1
22-30
EN
We construct a precompact completely regular paratopological Abelian group G of size (2ω)+ such that all subsets of G of cardinality ≤ 2ω are closed. This shows that Protasov’s theorem on non-closed discrete subsets of precompact topological groups cannot be extended to paratopological groups. We also prove that the group reflection of the product of an arbitrary family of paratopological (even semitopological) groups is topologically isomorphic to the product of the group reflections of the factors, and that the group reflection, H*, of a dense subgroup G of a paratopological group G is topologically isomorphic to a subgroup of G*.
5
Content available remote

The controlled separable projection property for Banach spaces

64%
Ferrer J., Wójtowicz M.
Open Mathematics
|
2011
|
tom 9
|
nr 6
1252-1266
EN
Let X, Y be two Banach spaces. We say that Y is a quasi-quotient of X if there is a continuous operator R: X → Y such that its range, R(X), is dense in Y. Let X be a nonseparable Banach space, and let U, W be closed subspaces of X and Y, respectively. We prove that if X has the Controlled Separable Projection Property (CSPP) (this is a weaker notion than the WCG property) and Y is a quasi-quotient of X, then the structure of Y resembles the structure of a separable Banach space: (a) Y/W is norm-separable iff its dual W ⊥ is weak*-separable, (b) every weak*-separable subset of B Y* is weak*-metrizable, (c) every weak*-null sequence in the unit sphere of Y* contains a “nice“ subsequence; and (d) if U is separable, then X/U also has the CSPP. Property (a) yields an easy way of obtaining separable quotients in a class of Banach spaces. We also study the CSPP for C(K)-spaces, where K is a Mrówka compact space, e.g., we prove that the CSPP is not a three-space property.
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ć.