Order embedding (original) (raw)
In order theory, a branch of mathematics, an order embedding is a special kind of monotone function, which provides a way to include one partially ordered set into another. Like Galois connections, order embeddings constitute a notion which is strictly weaker than the concept of an order isomorphism. Both of these weakenings may be understood in terms of category theory.
| Property | Value |
|---|---|
| dbo:abstract | In order theory, a branch of mathematics, an order embedding is a special kind of monotone function, which provides a way to include one partially ordered set into another. Like Galois connections, order embeddings constitute a notion which is strictly weaker than the concept of an order isomorphism. Both of these weakenings may be understood in terms of category theory. (en) Nella teoria degli ordini, una branca della matematica, un'immersione d'ordine è una speciale funzione monotona, che consente di immergere un insieme parzialmente ordinato in un altro (cioè di identificare un sottoinsieme del codominio che rappresenti un'immagine speculare dell'insieme di partenza) mantenendo le relazioni esistenti tra gli elementi. Formalmente, se e sono due insiemi insiemi parzialmente ordinati, è un'immersione d'ordine, e può essere "immerso" in , se per ogni e in vale che ≤S se e solo se ≤T . Notare che è necessariamente iniettiva, infatti = vuol dire ≤T e ≤T , e quindi ≤S e ≤S . Un isomorfismo d'ordine può essere caratterizzato come un'immersione d'ordine suriettiva. Ovviamente, costituisce un isomorfismo d'ordine tra e . (it) 在序理论中，序嵌入是特殊种类的单调函数，它提供了一种方式来包括一个偏序集合到另一个中。类似伽罗瓦连接，序嵌入构造了一个严格弱于序同构的概念。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Mutual_embedding_of_o..._real_unit_interval_svg.svg?width=300 |
| dbo:wikiPageID | 762203 (xsd:integer) |
| dbo:wikiPageLength | 6400 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1014385980 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Model_theory dbr:Binary_relation dbr:Hom-set dbr:Dushnik–Miller_theorem dbr:Induced_subgraph dbr:Order_isomorphism dbc:Order_theory dbr:Mathematics dbr:Order_theory dbr:Full_subcategory dbr:Function_(mathematics) dbr:Function_composition dbr:Galois_connection dbr:Graph_(discrete_mathematics) dbr:Functor dbr:Divisor dbr:Domain_of_a_function dbr:Laver's_theorem dbr:Linear_function dbr:Partially_ordered_set dbr:Graph_isomorphism dbr:Graph_theory dbr:Closed_interval dbr:Surjective dbr:Divides dbr:Open_interval dbr:Category_(mathematics) dbr:Category_theory dbr:Real_number dbr:Image_(mathematics) dbr:Injective dbr:Subset dbr:Order-preserving dbr:Order-reflecting dbr:Elementary_substructure dbr:Identity_map dbr:Least_element dbr:Monotone_function dbr:File:Lattice_T(6).svg dbr:File:Mutual_embedding_of_open_and_closed_real_unit_interval_svg.svg |
| dbp:wikiPageUsesTemplate | dbt:Reflist dbt:Unreferenced_section |
| dcterms:subject | dbc:Order_theory |
| gold:hypernym | dbr:Kind |
| rdfs:comment | In order theory, a branch of mathematics, an order embedding is a special kind of monotone function, which provides a way to include one partially ordered set into another. Like Galois connections, order embeddings constitute a notion which is strictly weaker than the concept of an order isomorphism. Both of these weakenings may be understood in terms of category theory. (en) 在序理论中，序嵌入是特殊种类的单调函数，它提供了一种方式来包括一个偏序集合到另一个中。类似伽罗瓦连接，序嵌入构造了一个严格弱于序同构的概念。 (zh) Nella teoria degli ordini, una branca della matematica, un'immersione d'ordine è una speciale funzione monotona, che consente di immergere un insieme parzialmente ordinato in un altro (cioè di identificare un sottoinsieme del codominio che rappresenti un'immagine speculare dell'insieme di partenza) mantenendo le relazioni esistenti tra gli elementi. Formalmente, se e sono due insiemi insiemi parzialmente ordinati, è un'immersione d'ordine, e può essere "immerso" in , se per ogni e in vale che ≤S se e solo se ≤T . (it) |
| rdfs:label | Immersione d'ordine (it) Order embedding (en) 序嵌入 (zh) |
| owl:sameAs | freebase:Order embedding wikidata:Order embedding dbpedia-it:Order embedding dbpedia-zh:Order embedding https://global.dbpedia.org/id/3W945 |
| prov:wasDerivedFrom | wikipedia-en:Order_embedding?oldid=1014385980&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Lattice_T(6).svg wiki-commons:Special:FilePath/Mutual_embedding_of_open_and_closed_real_unit_interval_svg.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Order_embedding |
| is dbo:wikiPageRedirects of | dbr:Order-embedding |
| is dbo:wikiPageWikiLink of | dbr:Monotonic_function dbr:Dushnik–Miller_theorem dbr:List_of_order_theory_topics dbr:Order_isomorphism dbr:Geometric_lattice dbr:Order-embedding dbr:Completely_distributive_lattice dbr:Laver's_theorem dbr:Stone_duality dbr:Isometry dbr:Vámos_matroid dbr:Slicing_the_Truth |
| is foaf:primaryTopic of | wikipedia-en:Order_embedding |
