Η Θεωρία Διαστάσεων είναι από τους παλαιότερους κλάδους της Γενικής Τοπολογίας και μελετά, εκτός των άλλων, τη μικρή επαγωγική διάσταση ind, τη μεγάλη διάσταση Ind και την επονομαζόμενη διάσταση της κάλυψης dim.
Οι πρώτοι που έδωσαν αποτελέσματα στη θεωρία διαστάσεων είναι οι Poincare, Brouwer και Lebesgue. Κατά την κατασκευή από τον Ρeano, μιας συνεχούς απεικόνισης από ένα τμήμα επί ενός τετραγώνου, προέκυψε το πρόβλημα: «το κατά πόσον ένα τμήμα και ένα τετράγωνο είναι ομοιόμορφα» και γενικότερα «εάν ο n- κύβος I^n είναι ομοιόμορφος με τον m-κύβο I^m για n διφορετικό του m». Το πρόβλημα αυτό λύθηκε από τον Brouwer [1911] αποδεικνύοντας ότι αν n διαφορετικό του m τότε οι I^n και I^m δεν είναι ομοιόμορφοι.
Οι Urysohn [1922, 1925, 1926] και Menger [1923,1924] απέδειξαν με τις εργασίες τους, ότι η θεωρία διαστάσεων είναι μία ανεξάρτητη περιοχή της Γενικής Τοπολογίας. Αυτοί ανέπτυξαν και διατύπωσαν ανεξάρτητα τη θεωρία της μικρής επαγωγικής διάστασης ind για την κλάση των συμπαγών μετρικών χώρων. Αυτή η θεωρία αργότερα επεκτάθηκε για την κλάση των διαχωρίσιμων μετρικών χώρων από τους Tumarkin [1925, 1926] και Hurewicz [1927].
Σήμερα, οι διαστάσεις ορίζονται για οποιονδήποτε τοπολογικό χώρο. Σημειώνουμε ότι, στην κλάση των διαχωρίσιμων μετρικών χώρων, οι τρείς διαστάσεις συμπίπτουν. Δηλαδή:
ind(X)=Ind(X)=dim(X),
όπου X διαχωρίσιμος μετρικός χώρος. Σε μεγαλύτερη κλάση τοπολογικών χώρων αυτό δεν ισχύει, δηλαδή οι τρείς διαστάσεις διαφέρουν. Στην κλάση των μετρικών χώρων οι διαστάσεις Ind και dim συμπίπτουν. Δηλαδή, αν X μετρικός χώρος:
Ind(X)=dim(X).
Στην εργασία αυτή δίνουμε τον ορισμό της διάστασης κάλυψης dim, ισοδύναμες εκφράσεις των ορισμών των διαστάσεων και θεωρήματα υποχώρου – αθροίσματος και γινομένου, που αφορούν τη διάσταση αυτή. / The theory of Dimensions is one of the oldest branch of General Topology and studies, among the other, the small inductive dimension ind, the large inductive dimension Ind and the covering dimension dim.
Poincare, Brouwer and Lebesgue were the first who gave results in the theory of dimensions. Peano, trying to make a continuous function from a line segment on a square, became the problem: “if a line segment and a square must be uniform” and more generally “if the n- cube I^n can be uniform with the m-cube I^m for n different of m”. Brouwer [1911] gave an answer to this problem by proving that if n different of m then I^n and I^m can not be uniform.
Urysohn [1922, 1925, 1926] and Menger [1923,1924] proved that the theory of dimensions is a independent region of General Topology. These developed and formulated independent the theory of the small inductive dimension ind for the class of compact metric spaces. Later, Tumarkin [1925, 1926] and Hurewicz [1927], extended this theory for the class of separable metric spaces.
Today, the dimensions are fixed for any topological space. We mention that the three dimensions coincide, in the class of separable metric spaces, that is:
ind(X) =Ind (X) =dim (X),
where X is a separable metric space. In a bigger class of topological spaces this is not true, that is the three dimensions are different. In the class of metric spaces the dimensions Ind and dim coincide. That is, if X is a metric space then:
Ind (X) =dim (X).
In this work we give the definition of covering dimension dim, equivalence expressions of the definition of dimensions and also theorems of subspace, addition and product theorems that concern the covering dimension dim.
| Identifer | oai:union.ndltd.org:upatras.gr/oai:nemertes:10889/3716 |
| Date | 20 September 2010 |
| Creators | Κωνσταντόπουλος, Κωνσταντίνος |
| Contributors | Γεωργίου, Δημήτριος, Konstantopoulos, Konstantinos, Γεωργίου, Δημήτριος, Ηλιάδης, Σταύρος, Τζάννες, Βασίλειος |
| Source Sets | University of Patras |
| Language | gr |
| Detected Language | Greek |
| Type | Thesis |
| Rights | 0 |
| Relation | Η ΒΥΠ διαθέτει αντίτυπο της διατριβής σε έντυπη μορφή στο βιβλιοστάσιο διδακτορικών διατριβών που βρίσκεται στο ισόγειο του κτιρίου της. |
Page generated in 0.0019 seconds