Biequivalence vector spaces in the alternative set theory

Miroslav Šmíd; Pavol Zlatoš

Commentationes Mathematicae Universitatis Carolinae (1991)

  • Volume: 32, Issue: 3, page 517-544
  • ISSN: 0010-2628

Abstract

top
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.

How to cite

top

Šmíd, Miroslav, and Zlatoš, Pavol. "Biequivalence vector spaces in the alternative set theory." Commentationes Mathematicae Universitatis Carolinae 32.3 (1991): 517-544. <http://eudml.org/doc/247319>.

@article{Šmíd1991,
abstract = {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.},
author = {Šmíd, Miroslav, Zlatoš, Pavol},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; biequivalence; vector space; monad; galaxy; symmetric Sd-closure; dual; valuation; norm; convex; basis; topological vector spaces; natural infinity; biequivalent vector spaces; alternative set theory; locally convex vector spaces; internal set theory; external sets; external classes; dual spaces; topological base},
language = {eng},
number = {3},
pages = {517-544},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Biequivalence vector spaces in the alternative set theory},
url = {http://eudml.org/doc/247319},
volume = {32},
year = {1991},
}

TY - JOUR
AU - Šmíd, Miroslav
AU - Zlatoš, Pavol
TI - Biequivalence vector spaces in the alternative set theory
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1991
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 32
IS - 3
SP - 517
EP - 544
AB - 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.
LA - eng
KW - alternative set theory; biequivalence; vector space; monad; galaxy; symmetric Sd-closure; dual; valuation; norm; convex; basis; topological vector spaces; natural infinity; biequivalent vector spaces; alternative set theory; locally convex vector spaces; internal set theory; external sets; external classes; dual spaces; topological base
UR - http://eudml.org/doc/247319
ER -

References

top
  1. Davis M., Applied Nonstandard Analysis, Wiley Interscience, New York-London-Sydney. Zbl0359.02060MR0505473
  2. Day M.M., The spaces L p with 0 < p < 1 , Bull. Amer. Math. Soc. 46 816-823. MR0002700
  3. Enflo P., A counterexample to the approximation problem in Banach spaces, Acta Math. 130 309-317. Zbl0286.46021MR0402468
  4. Guričan J., Zlatoš P., Biequivalences and topology in the alternative set theory, Comment. Math. Univ. Carolinae 26 525-552. MR0817825
  5. Guričan J., Zlatoš P., Archimedean and geodetical biequivalences, Comment. Math. Univ. Carolinae 26 675-698. MR0831804
  6. Henson C.W., Moore L.C., The nonstandard theory of topological vector spaces, Trans. Amer. Math. Soc. 172 405-435. Zbl0274.46013MR0308722
  7. 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. Zbl0511.46070MR0698954
  8. Henson C.W., Moore L.C., The Banach spaces ℓ p ( n ) for large p and n , Manuscripta Math. 44 1-33. MR0709841
  9. Kalina M., Zlatoš P., Arithmetic of cuts and cuts of classes, Comment. Math. Univ. Carolinae 29 435-456. MR0972828
  10. Mlček J., Valuations of structures, Comment. Math. Univ. Carolinae 20 525-552. MR0555183
  11. Radyno Ya.V., Linear Equations and Bornology (in Russian), Izdatelstvo Belgosuniversiteta, Minsk. MR0685429
  12. Rampas Z., Theory of matrices in the description of structures (in Czech), Master Thesis, Charles University, Prague. 
  13. Robertson A.P., Robertson W.J., Topological Vector Spaces, Cambridge Univ. Press, Cambridge. Zbl0423.46001MR0162118
  14. Singer I., Bases in Banach Spaces I, Springer, Berlin-Heidelberg-New York. Zbl0198.16601MR0298399
  15. Sochor A., Vopěnka P., Revealments, Comment. Math. Univ. Carolinae 21 97-118. MR0566243
  16. Vopěnka P., Mathematics in the Alternative Set Theory, Teubner, Leipzig. MR0581368
  17. Welsh D.J.A., Matroid Theory, Academic Press, London-New York-San Francisco. Zbl0343.05002MR0427112
  18. Wilansky A., Modern Methods in Topological Vector Spaces, McGraw-Hill Int. Comp., New York-St.Louis. Zbl0395.46001MR0518316
  19. Zlatoš P., Topological shapes, in Mlček J. et al. (eds.), “Proc. of the Symposium on Mathematics in the Alternative Set Theory,” pp. 95-120, Association of Slovak Mathematicians and Physicists, Bratislava. 

NotesEmbed ?

top

You must be logged in to post comments.