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.
@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/
Applied Nonstandard Analysis, Wiley Interscience, New York-London-Sydney. | MR 0505473 | Zbl 0359.02060
The spaces $L^p$ with $0< p< 1$, Bull. Amer. Math. Soc. 46 816-823. | MR 0002700
A counterexample to the approximation problem in Banach spaces, Acta Math. 130 309-317. | MR 0402468 | Zbl 0286.46021
Biequivalences and topology in the alternative set theory, Comment. Math. Univ. Carolinae 26 525-552. | MR 0817825
Archimedean and geodetical biequivalences, Comment. Math. Univ. Carolinae 26 675-698. | MR 0831804
The nonstandard theory of topological vector spaces, Trans. Amer. Math. Soc. 172 405-435. | MR 0308722 | Zbl 0274.46013
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
The Banach spaces $\ell_p(n)$ for large $p$ and $n$, Manuscripta Math. 44 1-33. | MR 0709841
Arithmetic of cuts and cuts of classes, Comment. Math. Univ. Carolinae 29 435-456. | MR 0972828
Valuations of structures, Comment. Math. Univ. Carolinae 20 525-552. | MR 0555183
Linear Equations and Bornology (in Russian), Izdatelstvo Belgosuniversiteta, Minsk. | MR 0685429
Theory of matrices in the description of structures (in Czech), Master Thesis, Charles University, Prague.
Topological Vector Spaces, Cambridge Univ. Press, Cambridge. | MR 0162118 | Zbl 0423.46001
Bases in Banach Spaces I, Springer, Berlin-Heidelberg-New York. | MR 0298399 | Zbl 0198.16601
Revealments, Comment. Math. Univ. Carolinae 21 97-118. | MR 0566243
Mathematics in the Alternative Set Theory, Teubner, Leipzig. | MR 0581368
Matroid Theory, Academic Press, London-New York-San Francisco. | MR 0427112 | Zbl 0343.05002
Modern Methods in Topological Vector Spaces, McGraw-Hill Int. Comp., New York-St.Louis. | MR 0518316 | Zbl 0395.46001
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.