Dimensional compactness in biequivalence vector spaces

J. Náter; P. Pulmann; Pavol Zlatoš

Commentationes Mathematicae Universitatis Carolinae (1992)

  • Volume: 33, Issue: 4, page 681-688
  • ISSN: 0010-2628

Abstract

top
The notion of dimensionally compact class in a biequivalence vector space is introduced. Similarly as the notion of compactness with respect to a π -equivalence reflects our nonability to grasp any infinite set under sharp distinction of its elements, the notion of dimensional compactness is related to the fact that we are not able to measure out any infinite set of independent parameters. A fairly natural Galois connection between equivalences on an infinite set s and classes of set functions s Q is investigated. Finally, a direct connection between compactness of a π -equivalence R s 2 and dimensional compactness of the class 𝐂 [ R ] of all continuous set functions from s , R to Q , is established.

How to cite

top

Náter, J., Pulmann, P., and Zlatoš, Pavol. "Dimensional compactness in biequivalence vector spaces." Commentationes Mathematicae Universitatis Carolinae 33.4 (1992): 681-688. <http://eudml.org/doc/247371>.

@article{Náter1992,
abstract = {The notion of dimensionally compact class in a biequivalence vector space is introduced. Similarly as the notion of compactness with respect to a $\pi $-equivalence reflects our nonability to grasp any infinite set under sharp distinction of its elements, the notion of dimensional compactness is related to the fact that we are not able to measure out any infinite set of independent parameters. A fairly natural Galois connection between equivalences on an infinite set $s$ and classes of set functions $s \rightarrow Q$ is investigated. Finally, a direct connection between compactness of a $\pi $-equivalence $R \subseteq s^2$ and dimensional compactness of the class $\mathbf \{C\}[R]$ of all continuous set functions from $\langle s,R \rangle $ to $\langle Q,\doteq \rangle $ is established.},
author = {Náter, J., Pulmann, P., Zlatoš, Pavol},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; biequivalence vector space; $\pi $-equivalence; continuous function; set uniform equivalence; compact; dimensionally compact; alternative set theory; set uniform equivalence; dimensionally compact class in a biequivalence vector space; -equivalence; dimensional compactness; Galois connection},
language = {eng},
number = {4},
pages = {681-688},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Dimensional compactness in biequivalence vector spaces},
url = {http://eudml.org/doc/247371},
volume = {33},
year = {1992},
}

TY - JOUR
AU - Náter, J.
AU - Pulmann, P.
AU - Zlatoš, Pavol
TI - Dimensional compactness in biequivalence vector spaces
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1992
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 33
IS - 4
SP - 681
EP - 688
AB - The notion of dimensionally compact class in a biequivalence vector space is introduced. Similarly as the notion of compactness with respect to a $\pi $-equivalence reflects our nonability to grasp any infinite set under sharp distinction of its elements, the notion of dimensional compactness is related to the fact that we are not able to measure out any infinite set of independent parameters. A fairly natural Galois connection between equivalences on an infinite set $s$ and classes of set functions $s \rightarrow Q$ is investigated. Finally, a direct connection between compactness of a $\pi $-equivalence $R \subseteq s^2$ and dimensional compactness of the class $\mathbf {C}[R]$ of all continuous set functions from $\langle s,R \rangle $ to $\langle Q,\doteq \rangle $ is established.
LA - eng
KW - alternative set theory; biequivalence vector space; $\pi $-equivalence; continuous function; set uniform equivalence; compact; dimensionally compact; alternative set theory; set uniform equivalence; dimensionally compact class in a biequivalence vector space; -equivalence; dimensional compactness; Galois connection
UR - http://eudml.org/doc/247371
ER -

References

top
  1. Guričan J., Zlatoš P., Biequivalences and topology in the alternative set theory, Comment. Math. Univ. Carolinae 26 (1985), 525-552. (1985) MR0817825
  2. Kalina M., Zlatoš P., Arithmetic of cuts and cuts of classes, Comment. Math. Univ. Carolinae 29 (1988), 435-456. (1988) MR0972828
  3. Mlček J., Valuations of structures, Comment. Math. Univ. Carolinae 20 (1979), 681-696. (1979) MR0555183
  4. Mlček J., Some structural and combinatorial properties of classes in the alternative set theory (in Czech), habilitation Faculty of Mathematics and Physics, Charles University Prague. 
  5. Šmíd M., personal communication, . 
  6. Šmíd M., Zlatoš P., Biequivalence vector spaces in the alternative set theory, Comment. Math. Univ. Carolinae 32 (1991), 517-544. (1991) MR1159799
  7. Vopěnka P., Mathematics in the Alternative Set Theory, Teubner-Verlag Leipzig. MR0581368
  8. Vopěnka P., The lattice of indiscernibility equivalences, Comment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) MR0555179
  9. P. Zlatoš, Topological shapes, Proc. of the 1st Symposium on Mathematics in the Alternative Set Theory J. Mlček et al. Association of Slovak Mathematicians and Physicists Bratislava 95-120. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.