Displaying 101 – 120 of 148

Showing per page

Topological Properties of Real Normed Space

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama (2014)

Formalized Mathematics

In this article, we formalize topological properties of real normed spaces. In the first part, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed subspace. Then we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, image and inverse image are considered here. The fact that Lipschitz continuity operators preserve convergence of sequences is also refered...

Topologies semi-vectorielles. Application à l'analyse complexe

Pierre Lelong (1975)

Annales de l'institut Fourier

On définit sur un espace vectoriel E une classe de topologies qui rendent la multiplication continue, mais ne sont pas vectorielles en général. Sur un espace complexe E elles permettent d’obtenir encore les principales propriétés des fonctions plurisousharmoniques. De telles topologies séparées sont localement pseudo-convexes (mais non localement convexes en général) : cette notion intervient dans les extensions données récemment par l’auteur du théorème de Banach-Steinhaus aux familles de polynômes...

Currently displaying 101 – 120 of 148