Οι πραγματικοί αριθμοί σχηματίζουν μια τοπολογική ομάδα με πρόσθεση
Στα μαθηματικά, μια **Τοπολογική Ομάδα** είναι μια ομάδα που έχει μια τοπολογία "συμβατή" με τη δομή της ομάδας. Η τοπολογική δομή καθιστά δυνατή, για παράδειγμα, την εξέταση ορίων σε αυτή την ομάδα και τη συζήτηση για συνεχείς ομομορφισμούς.

Ορισμός
-------

Μια ομάδα G λέγεται τοπολογική ομάδα αν έχει τοπολογία τέτοια ώστε :

1. Η συσχέτιση των ομάδων {\displaystyle G\times G\to G} είναι συνεχής. Σε αυτή την περίπτωση, η {\displaystyle G\times G} έχει την τοπολογία προϊόντος.
2. Η αντίστροφη αντιστοιχία {\displaystyle G\to G} είναι συνεχής.

Παραδείγματα
------------

Οι πραγματικοί αριθμοί R \mathbb {R} με πρόσθεση και συνηθισμένη τοπολογία σχηματίζουν μια τοπολογική ομάδα. Γενικότερα, ο n-διάστατος ευκλείδειος χώρος \mathbb{R} ^{n} με διανυσματική πρόσθεση και συνήθη τοπολογία σχηματίζει μια τοπολογική ομάδα. Ομοίως, κάθε χώρος Μπάναχ και χώρος Χίλμπερτ αποτελεί τοπολογική ομάδα ως προς την πρόσθεση.

Τα παραπάνω παραδείγματα είναι όλα αβελιανά. Ένα σημαντικό παράδειγμα μη-αβελιανής τοπολογικής ομάδας είναι η ομάδα {\displaystyle \operatorname {GL} (n,\mathbb {R} )} όλων των n\times n- αντιστρέψιμων πραγματικών πινάκων. Η τοπολογία προκύπτει θεωρώντας την ομάδα αυτή ως υποσύνολο του ευκλείδειου διανυσματικού χώρου {\displaystyle \mathbb {R} ^{n^{2}}}.

\mathbb{R} ^{n} είναι, όπως και η {\displaystyle \operatorname {GL} (n,\mathbb {R} )}, μια ομάδα Lie, δηλαδή μια τοπολογική ομάδα της οποίας η τοπολογική δομή είναι αυτή μιας ποικιλίας.

Ένα παράδειγμα τοπολογικής ομάδας που δεν είναι ομάδα Lie είναι η προσθετική ομάδα των ορθολογικών αριθμών \mathbb{Q}  (πρόκειται για ένα μετρήσιμο σύνολο που δεν έχει διακριτή τοπολογία). Ένα παράδειγμα μη αβελιανής ομάδας είναι η υποομάδα της ομάδας περιστροφής του \mathbb{R} ^{3}, η οποία παράγεται από δύο περιστροφές ανορθολογικών πολλαπλάσιων του π \pi (του κυκλικού αριθμού Pi) γύρω από διαφορετικούς άξονες.

Σε οποιαδήποτε μοναδιαία άλγεβρα Μπάναχ, το σύνολο των στοιχείων που είναι αντιστρέψιμα με πολλαπλασιασμό σχηματίζει μια τοπολογική ομάδα.

Ιδιότητες
---------

Η αλγεβρική δομή και η τοπολογική δομή για μια τοπολογική ομάδα G είναι στενά συνδεδεμένες. Παραδείγµατος χάριν, σε οποιαδήποτε τοπολογική οµάδα, η συνδεδεµένη συνιστώσα του ουδέτερου στοιχείου είναι µια κλειστή κανονική υποοµάδα της G.

Εάν a είναι στοιχείο μιας τοπολογικής ομάδας G, τότε ο αριστερός πολλαπλασιασμός και ο δεξιός πολλαπλασιασμός με a είναι ομοιομορφισμοί από την G στην G, όπως και η αντίστροφη εικόνα.

Κάθε τοπολογική ομάδα μπορεί να θεωρηθεί ως ομοιόμορφος χώρος. Οι δύο στοιχειώδεις ομοιόμορφες δομές που προκύπτουν από τη δομή της ομάδας είναι η αριστερή ομοιόμορφη δομή και η δεξιά ομοιόμορφη δομή. Η αριστερή ομοιόμορφη δομή καθιστά τον πολλαπλασιασμό με το αριστερό ομοιόμορφα συνεχή, η δεξιά ομοιόμορφη δομή καθιστά τον πολλαπλασιασμό με το δεξί ομοιόμορφα συνεχή. Για μη αβελιανές ομάδες, αυτές οι δύο ομοιόμορφες δομές είναι γενικά διαφορετικές. Οι ομοιόμορφες δομές χρησιμοποιούνται για τον ορισμό εννοιών όπως η πληρότητα, η ομοιόμορφη συνέχεια και η ομοιόμορφη σύγκλιση.

Όπως κάθε τοπολογία που παράγεται από έναν ομοιόμορφο χώρο, η τοπολογία μιας τοπολογικής ομάδας είναι απολύτως κανονική. Ειδικότερα, μια τοπολογική ομάδα που ικανοποιεί την {\displaystyle T\_{0}} (δηλαδή είναι ένας χώρος Κολμογκόροφ) είναι ακόμη και ένας χώρος Χάουσντορφ.

Η πιο φυσική έννοια του ομομορφισμού μεταξύ των τοπολογικών ομάδων είναι αυτή του συνεχούς ομομορφισμού ομάδων. Οι τοπολογικές ομάδες, μαζί με τους ομομορφισμούς συνεχών ομάδων, σχηματίζουν μια κατηγορία.

Κάθε υποομάδα μιας τοπολογικής ομάδας είναι με τη σειρά της μια τοπολογική ομάδα με την τοπολογία του μερικού χώρου. Για μια υποομάδα H της G, η αριστερή και η δεξιά δευτερεύουσα κλάση {\displaystyle G/H} σχηματίζουν έναν τοπολογικό χώρο με την τοπολογία του πηλίκου.

Αν η H είναι κανονικός διαιρέτης της G, τότε η {\displaystyle G/H} γίνεται τοπολογική ομάδα. Σημειώστε, ωστόσο, ότι αν η H δεν είναι κλειστή στην τοπολογία της G, η προκύπτουσα τοπολογία στην {\displaystyle G/H} δεν είναι Hausdorffian. Είναι επομένως φυσικό, αν περιοριστούμε στην κατηγορία των Hausdorff-ικών τοπολογικών ομάδων, να μελετάμε μόνο κλειστούς κανονικούς διαιρέτες.

Αν η H είναι υποομάδα της G , τότε η κλειστή περιβάλλουσα της H H είναι με τη σειρά της υποομάδα. Ομοίως, το κλείσιμο ενός κανονικού διαιρέτη είναι και πάλι κανονικό.

Δημοσιεύσεις
------------

* Lew Pontrjagin: *Topologische Gruppen.* 2 Bände. Teubner, Leipzig 1957–1958.
* Guido Mislin (Hrsg.): *The Hilton symposium 1993. Topics in Topology and Group Theory* (= *CRM Proceedings & Lecture Notes.* Bd. 6). American Mathematical Society, Providence RI 1994, ISBN 0-8218-0273-9.
* Terence Tao: *Hilbert's fifth problem and related topics* (= *Graduate Studies in Mathematics.* Bd. 153). American Mathematical Society, Providence RI 2014, ISBN 978-1-4704-1564-8 online.

Παραπομπές
----------

1. ↑  «Topological group - Encyclopedia of Mathematics». *encyclopediaofmath.org*. Ανακτήθηκε στις 8 Ιουλίου 2023.
2. ↑  Choban, Mitrofan M. (2017-04-15). «Some properties of topological groups related to compactness» (στα αγγλικά). *Topology and its Applications* **221**: 144–155. doi:10.1016/j.topol.2017.02.039. ISSN 0166-8641. .
3. 1 2  Husain, Taqdir (15 Φεβρουαρίου 2018). *Introduction to Topological Groups*. Courier Dover Publications. ISBN 978-0-486-81919-8.
4. ↑  «CARLETON UNIVERSITY - An Introduction to Topological Groups» (PDF).
5. ↑  «topological group». *planetmath.org*. Ανακτήθηκε στις 8 Ιουλίου 2023.
6. ↑  Hu, Sze-Tsen (1948). «Some Homotopy Properties of Topological Groups and Homogeneous Spaces». *Annals of Mathematics* **49** (1): 67–74. doi:10.2307/1969114. ISSN 0003-486X. .
7. ↑  «The Definition and Basic Properties of Topological Groups».
8. ↑  Exel, Ruy· Pitts, David R. (18 Οκτωβρίου 2022). *Characterizing Groupoid C\*-algebras of Non-Hausdorff Étale Groupoids*. Springer Nature. ISBN 978-3-031-05513-3.

|  |  |  |  |
| --- | --- | --- | --- |
| 

| π • σ • ε
Κλάδοι των μαθηματικών |
| --- |
|  |
| 
* Άλγεβρα
* Μαθηματική ανάλυση
* Γεωμετρία
* Εφαρμοσμένα μαθηματικά
* Διακριτά μαθηματικά
* Θεμέλια των μαθηματικών
 |

 |


|  |  |
| --- | --- |
| 

|  |
| --- |
| * Πύλη:Μαθηματικά
 |

 |