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

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

Finite codimensional linear isometries on spaces of differentiable and Lipschitz functions

100%
Koshimizu H.
Open Mathematics
|
2011
|
tom 9
|
nr 1
139-146
EN
We characterize finite codimensional linear isometries on two spaces, C (n)[0; 1] and Lip [0; 1], where C (n)[0; 1] is the Banach space of n-times continuously differentiable functions on [0; 1] and Lip [0; 1] is the Banach space of Lipschitz continuous functions on [0; 1]. We will see they are exactly surjective isometries. Also, we show that C (n)[0; 1] and Lip [0; 1] admit neither isometric shifts nor backward shifts.
2
Content available remote

F. Riesz Theorem

76%
Narita K., Nakasho K., Shidama Y.
Formalized Mathematics
|
2017
|
tom 25
|
nr 3
179-184
EN
In this article, we formalize in the Mizar system [1, 4] the F. Riesz theorem. In the first section, we defined Mizar functor ClstoCmp, compact topological spaces as closed interval subset of real numbers. Then using the former definition and referring to the article [10] and the article [5], we defined the normed spaces of continuous functions on closed interval subset of real numbers, and defined the normed spaces of bounded functions on closed interval subset of real numbers. We also proved some related properties. In Sec.2, we proved some lemmas for the proof of F. Riesz theorem. In Sec.3, we proved F. Riesz theorem, about the dual space of the space of continuous functions on closed interval subset of real numbers, finally. We applied Hahn-Banach theorem (36) in [7], to the proof of the last theorem. For the description of theorems of this section, we also referred to the article [8] and the article [6]. These formalizations are based on [2], [3], [9], and [11].
3
Content available remote

Weak Convergence and Weak Convergence

76%
Narita K., Shidama Y., Endou N.
Formalized Mathematics
|
2015
|
tom 23
|
nr 3
231-241
EN
In this article, we deal with weak convergence on sequences in real normed spaces, and weak* convergence on sequences in dual spaces of real normed spaces. In the first section, we proved some topological properties of dual spaces of real normed spaces. We used these theorems for proofs of Section 3. In Section 2, we defined weak convergence and weak* convergence, and proved some properties. By RNS_Real Mizar functor, real normed spaces as real number spaces already defined in the article [18], we regarded sequences of real numbers as sequences of RNS_Real. So we proved the last theorem in this section using the theorem (8) from [25]. In Section 3, we defined weak sequential compactness of real normed spaces. We showed some lemmas for the proof and proved the theorem of weak sequential compactness of reflexive real Banach spaces. We referred to [36], [23], [24] and [3] in the formalization.
4
Content available remote

Generalized weak peripheral multiplicativity in algebras of Lipschitz functions

76%
Jiménez-Vargas A., Lee K., Luttman A., Villegas-Vallecillos M.
Open Mathematics
|
2013
|
tom 11
|
nr 7
1197-1211
EN
Let (X, d X) and (Y,d Y) be pointed compact metric spaces with distinguished base points e X and e Y. The Banach algebra of all $\mathbb{K}$-valued Lipschitz functions on X - where $\mathbb{K}$ is either‒or ℝ - that map the base point e X to 0 is denoted by Lip0(X). The peripheral range of a function f ∈ Lip0(X) is the set Ranµ(f) = {f(x): |f(x)| = ‖f‖∞} of range values of maximum modulus. We prove that if T 1, T 2: Lip0(X) → Lip0(Y) and S 1, S 2: Lip0(X) → Lip0(X) are surjective mappings such that $Ran_\pi (T_1 (f)T_2 (g)) \cap Ran_\pi (S_1 (f)S_2 (g)) \ne \emptyset $ for all f, g ∈ Lip0(X), then there are mappings φ1φ2: Y → $\mathbb{K}$ with φ1(y)φ2(y) = 1 for all y ∈ Y and a base point-preserving Lipschitz homeomorphism ψ: Y → X such that T j(f)(y) = φ j(y)S j(f)(ψ(y)) for all f ∈ Lip0(X), y ∈ Y, and j = 1, 2. In particular, if S 1 and S 2 are identity functions, then T 1 and T 2 are weighted composition operators.
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ć.