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: 3

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

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  linear topological space
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

On orthogonally additive injections and surjections

100%
Baron K.
Commentationes Mathematicae
|
2015
|
tom 55
|
nr 2
EN
Let \(E\) be a real inner product space of dimension at least 2 and \(V\) a linear topological Hausdorff space. If \(\operatorname{card}E\leq \operatorname{card} V\), then the set of all orthogonally additive injections mapping \(E\) into \(V\) is dense in the space of all orthogonally additive functions from \(E\) into \(V\) with the Tychonoff topology. If \(\operatorname{card}V\leq \operatorname{card}E\), then the set of all orthogonally additive surjections mapping \(E\) into \(V\) is dense in the space of all orthogonally additive functions from \(E\) into \(V\) with the Tychonoff topology.
2
Content available remote

Summable Family in a Commutative Group

86%
Coghetto R.
Formalized Mathematics
|
2015
|
tom 23
|
nr 4
279-288
EN
Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [22], [7]. In this paper we present our formalization of this theory in Mizar [6]. First, we compare the notions of the limit of a family indexed by a directed set, or a sequence, in a metric space [30], a real normed linear space [29] and a linear topological space [14] with the concept of the limit of an image filter [16]. Then, following Bourbaki [9], [10] (TG.III, §5.1 Familles sommables dans un groupe commutatif), we conclude by defining the summable families in a commutative group (“additive notation” in [17]), using the notion of filters.
3
Content available remote

On Orthogonally Additive Functions With Big Graphs

86%
Baron K.
Annales Mathematicae Silesianae
|
2017
|
tom 31
|
nr 1
57-62
EN
Let E be a separable real inner product space of dimension at least 2 and V be a metrizable and separable linear topological space. We show that the set of all orthogonally additive functions mapping E into V and having big graphs is dense in the space of all orthogonally additive functions from E into V with the Tychonoff topology.
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ć.