Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 2014

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: topological duality

Sortuj według:

Ogranicz wyniki do:

Bidual Spaces and Reflexivity of Real Normed Spaces

100%

Narita K. , Endou N. , Shidama Y.

Formalized Mathematics

2014

tom 22

nr 4

303-311

In this article, we considered bidual spaces and reflexivity of real normed spaces. At first we proved some corollaries applying Hahn-Banach theorem and showed related theorems. In the second section, we proved the norm of dual spaces and defined the natural mapping, from real normed spaces to bidual spaces. We also proved some properties of this mapping. Next, we defined real normed space of R, real number spaces as real normed spaces and proved related theorems. We can regard linear functionals as linear operators by this definition. Accordingly we proved Uniform Boundedness Theorem for linear functionals using the theorem (5) from [21]. Finally, we defined reflexivity of real normed spaces and proved some theorems about isomorphism of linear operators. Using them, we proved some properties about reflexivity. These formalizations are based on [19], [20], [8] and [1].

Hilbert algebras with a necessity modal operator

88%

Celani S. A. , Montangie D.

Reports on Mathematical Logic

2014

tom Vol. 49

47--77

We introduce the variety of Hilbert algebras with a modal operator , called H-algebras. The variety of H-algebras is the algebraic counterpart of the {→;]}fragment of the intuitionitic modal logic IntK. We will study the theory of representation and we will give a topological duality for the variety of H-algebras. We are going to use these results to prove that the basic implicative modal logic IntK→ and some axiomatic extensions are canonical. We shall also to determine the simple and subdirectly irreducible algebras in some subvarieties of H-algebras.