Some new concepts of dimension and their generalization
Duda, R.
Similarity:
Displaying similar documents to “Components and inductive dimensions of compact spaces”
Some new concepts of dimension and their generalization
Small Inductive Dimension of Topological Spaces
Karol Pąk (2009)
Formalized Mathematics
Similarity:
We present the concept and basic properties of the Menger-Urysohn small inductive dimension of topological spaces according to the books [7]. Namely, the paper includes the formalization of main theorems from Sections 1.1 and 1.2.
A note on transfinite dimension
A. Pears (1971)
Fundamenta Mathematicae
Similarity:
Essential mappings and transfinite dimension
P. Borst, Jan Dijkstra (1985)
Fundamenta Mathematicae
Similarity:
Small Inductive Dimension of Topological Spaces. Part II
Karol Pąk (2009)
Formalized Mathematics
Similarity:
In this paper we present basic properties of n-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.
A lower bound for transfinite dimension
David W. Henderson (1968)
Fundamenta Mathematicae
Similarity: