Isomorphismus (Graece ἴσος 'aequus' + μορφή 'forma') in mathematica est tabulatio duarum structurarum eiusdem generis quae per tabulationem inversam inverti possunt. Duae structurae mathematicae sunt isomorphicae si isomorphismus inter eas fit. Isomorphismus est homomorphismus iniectivus et superiectivus.

Fifth roots of unity
Rotations of a pentagon
Caterva quinta ex radicibus unitatis sub multiplicatione catervae rotationum pentagonis iusti sub compositione isomorphicus est.

Isomorphismus magni momenti in variis mathematicae provinciis est quia duabus rebus isomorphiciis sunt eaedem proprietates, aliis datibus exclusis, sicut structura addita vel nomine rerum. Ergo, structurae isomorphicae solum per structuram distingui non possunt, et agnosci possunt. Terminis technicis dicuntur res esse "eaedem usque ad isomorphismum."

Automorphismus est isomorphismus ex structura ad se. Unus isomorphismus, cum inter duas structuras sit, isomorphismus canonicus appellatur, et hae structurae dicuntur canonice isomorphicae. Exempli gratia, pro omne numero primo p, omnia corpora cui sunt elementa p canonice sunt isomorphica.

Vocabulum isomorphismus plerumque structuris algebraicis adhibetur, cum tabulationes homomorphismi appellantur, et homomorphismus est isomorphismus si et solum si biiectivus est.

Isomorphismi in variis mathematicae provinciis nomina propria acceperunt, secundum genus structurae quae explicanda est. Exempli gratia:

Theoria categoriarum, quae notionis tabulationis inter structuras formalizatio videri potest, linguam praebet quae adhiberi potest ad intellectum horum notionis fundamentalis aspectuum coniungendum.

Isomorphismi et automorphismi in geometria transformationes saepe appellantur, quarum exempla notissima sunt transformationes rigidae, transformationes affinae?, transformationes proiectivae.

Adhibitiones recensere

In algebra abstracta, duo isomorphismi definiuntur:

Sicut automorphismi structurae algebraicae corpus constituunt, isomorphismi inter duas algebras quibus est structura communis congeriem constituunt. Cum certus isomorphismus has structuras duas agnoscat, congeries corpus fit.

In analysi mathematica, transformatio Laplaciana est isomorphismus qui difficiles aequationes differentiales in faciliores aequationes algebraicas commutat.

Nexus interni

Bibliographia recensere

  • Barry, Mazur. 2007. "When is one thing equal to some other thing?" PDF, 12 Iunii 2007.
  • Gentzen, Gerhard. 1938. "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie." Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4: 19–44.
  • Hrbecek, Karel, et Thomas Jech. 1999Introduction to Set Theory. Marcel Dekker, Inc.
  • Jänich, Klaus. 2006Topologie. Ed. octava. Berolini: Springer. ISBN 3-540-21393-7.
  • Mac Lane, Saunders. 1971. Categories for the working mathematician. Novi Eboraci et Berolini: Springer Verlag.
  • Mac Lane, Saunders. (1975) 1995. Homology. Classics in Mathematics. Berolini: Springer-Verlag. ISBN 3-540-58662-8.

Nexus externi recensere