Biequivalence vector spaces in the alternative set theory
Šmíd, Miroslav ; Zlatoš, Pavol
Commentationes Mathematicae Universitatis Carolinae, Tome 32 (1991), p. 517-544 / Harvested from Czech Digital Mathematics Library

As a counterpart to classical topological vector spaces in the alternative set theory, biequivalence vector spaces (over the field $Q$ of all rational numbers) are introduced and their basic properties are listed. A methodological consequence opening a new view towards the relationship between the algebraic and topological dual is quoted. The existence of various types of valuations on a biequivalence vector space inducing its biequivalence is proved. Normability is characterized in terms of total convexity of the monad and/or of the galaxy of $0$. Finally, the existence of a rather strong type of basis for a fairly extensive area of biequivalence vector spaces, containing all the most important particular cases, is established.

Publié le : 1991-01-01
Classification:  03E70,  03H05,  46A04,  46A06,  46A08,  46A09,  46A35,  46Q05,  46S20
@article{118431,
     author = {Miroslav \v Sm\'\i d and Pavol Zlato\v s},
     title = {Biequivalence vector spaces in the alternative set theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {32},
     year = {1991},
     pages = {517-544},
     zbl = {0756.03027},
     mrnumber = {1159799},
     language = {en},
     url = {http://dml.mathdoc.fr/item/118431}
}
Šmíd, Miroslav; Zlatoš, Pavol. Biequivalence vector spaces in the alternative set theory. Commentationes Mathematicae Universitatis Carolinae, Tome 32 (1991) pp. 517-544. http://gdmltest.u-ga.fr/item/118431/

Davis M. Applied Nonstandard Analysis, Wiley Interscience, New York-London-Sydney. | MR 0505473 | Zbl 0359.02060

Day M.M. The spaces $L^p$ with $0< p< 1$, Bull. Amer. Math. Soc. 46 816-823. | MR 0002700

Enflo P. A counterexample to the approximation problem in Banach spaces, Acta Math. 130 309-317. | MR 0402468 | Zbl 0286.46021

Guričan J.; Zlatoš P. Biequivalences and topology in the alternative set theory, Comment. Math. Univ. Carolinae 26 525-552. | MR 0817825

Guričan J.; Zlatoš P. Archimedean and geodetical biequivalences, Comment. Math. Univ. Carolinae 26 675-698. | MR 0831804

Henson C.W.; Moore L.C. The nonstandard theory of topological vector spaces, Trans. Amer. Math. Soc. 172 405-435. | MR 0308722 | Zbl 0274.46013

Henson C.W.; Moore L.C. Nonstandard analysis and the theory of Banach spaces, in Hurd A.E. (ed.), ``Nonstandard Analysis - Recent Developments,'' Lecture Notes in Mathematics 983, pp. 27-112, Springer, Berlin-Heidelberg-New York-Tokyo. | MR 0698954 | Zbl 0511.46070

Henson C.W.; Moore L.C. The Banach spaces $\ell_p(n)$ for large $p$ and $n$, Manuscripta Math. 44 1-33. | MR 0709841

Kalina M.; Zlatoš P. Arithmetic of cuts and cuts of classes, Comment. Math. Univ. Carolinae 29 435-456. | MR 0972828

Mlček J. Valuations of structures, Comment. Math. Univ. Carolinae 20 525-552. | MR 0555183

Radyno Ya.V. Linear Equations and Bornology (in Russian), Izdatelstvo Belgosuniversiteta, Minsk. | MR 0685429

Rampas Z. Theory of matrices in the description of structures (in Czech), Master Thesis, Charles University, Prague.

Robertson A.P.; Robertson W.J. Topological Vector Spaces, Cambridge Univ. Press, Cambridge. | MR 0162118 | Zbl 0423.46001

Singer I. Bases in Banach Spaces I, Springer, Berlin-Heidelberg-New York. | MR 0298399 | Zbl 0198.16601

Sochor A.; Vopěnka P. Revealments, Comment. Math. Univ. Carolinae 21 97-118. | MR 0566243

Vopěnka P. Mathematics in the Alternative Set Theory, Teubner, Leipzig. | MR 0581368

Welsh D.J.A. Matroid Theory, Academic Press, London-New York-San Francisco. | MR 0427112 | Zbl 0343.05002

Wilansky A. Modern Methods in Topological Vector Spaces, McGraw-Hill Int. Comp., New York-St.Louis. | MR 0518316 | Zbl 0395.46001

Zlatoš P. Topological shapes, in Mlček J. et al. (eds.), ``Proc. of the $1^{st}$ Symposium on Mathematics in the Alternative Set Theory,'' pp. 95-120, Association of Slovak Mathematicians and Physicists, Bratislava.