This HTML5 document contains 88 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n4	https://global.dbpedia.org/id/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Complete_partial_order

rdf:type

dbo:MeanOfTransportation

rdfs:label

Complete partial order 상향 완비 원순서 집합 完備半順序 完全偏序 Ordre partiel complet Porządek zupełny Completude (Dedekind) Orden parcial completo Vollständige Halbordnung

rdfs:comment

数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。 在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。 Porządek zupełny – własność porządków częściowych postulująca istnienie kresów. W literaturze matematycznej istnieje kilka definicji tego pojęcia różniących się szczegółami technicznymi zależnymi od kontekstu matematycznego. En matemáticas, el concepto orden parcial completo se usa para referirse al menos a tres clases de conjunto parcialmente ordenado similares, pero distintas, caracterizadas por . Los órdenes parciales completos desempeñan un papel principal en la informática teórica, en semántica denotacional y teoría de dominios. 순서론에서 상향 완비 원순서 집합(영어: directed-complete preordered set)은 모든 상향 집합이 상한을 갖는 원순서 집합이다. Completude, na teoria da ordem, é a propriedade que diz que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto que faz a fronteira entre as partes. Ou, nas palavras de Richard Dedekind, que definiu este conceito para os números reais: Um erro comum é chamar como axioma de Dedekind a propriedade de que todo conjunto não-vazio limitado superiormente tem um supremo; este axioma não se encontra nos textos de Dedekind. Formalmente, este axioma pode ser escrito como: In mathematics, the phrase complete partial order is variously used to refer to at least three similar, but distinct, classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science: in denotational semantics and domain theory. Il existe plusieurs notions non équivalentes d'ordre partiel complet (complete partial order ou CPO). La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique.

dcterms:subject

dbc:Order_theory

dbo:wikiPageID

572352

dbo:wikiPageRevisionID

1118381387

dbo:wikiPageWikiLink

dbr:Denotational_semantics dbr:Graph_of_a_function dbr:Completeness_(order_theory) dbr:Deductive_system dbr:Join_and_meet dbr:Filter_(mathematics) dbr:Directed_set dbr:Chain_complete dbr:Scott_continuity dbr:Sober_space dbr:Alfred_Tarski dbr:Topological_continuity dbr:Cartesian_closed_category dbr:Scott_topology dbr:Order-preserving dbr:Chain-complete_partial_order dbr:Pointwise dbr:Monotone_function dbr:Fixpoint dbr:Mathematics dbr:Algebraic_poset dbr:Duality_(order_theory) dbr:Sentence_(mathematical_logic) dbr:Partially_ordered_set dbr:Converse_(logic) dbr:Supremum dbr:Category_(mathematics) dbc:Order_theory dbr:Kleene_fixed-point_theorem dbr:Function_(mathematics) dbr:Domain_of_a_function dbr:Specialization_order dbr:Iterated_function dbr:Partial_function dbr:Domain_theory dbr:Complete_lattice dbr:Theoretical_computer_science dbr:Chain_(order_theory) dbr:Bounded_complete dbr:Inclusion_(set_theory) dbr:Empty_set dbr:Least_element

owl:sameAs

n4:2rnSh freebase:m.02rb7s dbpedia-fr:Ordre_partiel_complet dbpedia-pt:Completude_(Dedekind) dbpedia-pl:Porządek_zupełny dbpedia-ja:完備半順序 dbpedia-es:Orden_parcial_completo dbpedia-de:Vollständige_Halbordnung dbpedia-ko:상향_완비_원순서_집합 dbpedia-zh:完全偏序 wikidata:Q3082805

dbp:wikiPageUsesTemplate

dbt:Cite_book

dbo:wikiPageInterLanguageLink

dbpedia-ru:Частично_упорядоченное_множество

dbo:abstract

순서론에서 상향 완비 원순서 집합(영어: directed-complete preordered set)은 모든 상향 집합이 상한을 갖는 원순서 집합이다. Completude, na teoria da ordem, é a propriedade que diz que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto que faz a fronteira entre as partes. Ou, nas palavras de Richard Dedekind, que definiu este conceito para os números reais: Se todos os pontos da reta são divididos em duas classes, tal que todo ponto da primeira classe está à esquerda de todo ponto da segunda classe, então existe um, e apenas um, ponto que causa esta divisão de todos os pontos em duas classes, este corte da reta em duas porções. (...) Assumir esta propriedade da linha não é nada além do que o axioma pelo qual consideramos a reta contínua. Um erro comum é chamar como axioma de Dedekind a propriedade de que todo conjunto não-vazio limitado superiormente tem um supremo; este axioma não se encontra nos textos de Dedekind. Formalmente, este axioma pode ser escrito como: Esta propriedade expressa a ideia de que a ordem linear (X, ≤) não tem buracos. O axioma da completude é expresso em uma , e não pode ser expresso em uma linguagem de primeira ordem. O axioma de Dedekind, em geometria, é, de certa forma, a recíproca da propriedade que diz que um ponto O em uma linha l separa esta linha em duas semi-retas, uma formada pelos pontos à "direita" de O e outra pelos pontos à "esquerda" de O. Formalmente, este axioma é escrito: Suponha que o conjunto de pontos da reta l seja a união disjunta de dois conjuntos não-vazios de forma que nenhum ponto de um subconjunto está entre pontos do outro subconjunto. Então existe um ponto único O de l tal que um dos dois subconjuntos é uma semi-reta que começa em O. Este axioma é equivalente à propriedade da menor quota superior. Um conjunto totalmente ordenado tem a propriedade da menor quota superior quando todo subconjunto não vazio que tem uma quota superior possui uma menor quota superior, ou seja, o conjunto dos elementos que são maiores que os elementos deste conjunto possui um mínimo. A propriedade da menor quota superior é equivalente à propriedade da maior quota inferior, que é enunciada de forma análoga, ou seja, todo subconjunto não vazio que tem uma quota inferior possui uma maior quota inferior. A demonstração de que a propriedade da menor quota superior é equivalente ao axioma de Dedekind é imediata. Se vale o axioma de Dedekind, então, para um conjunto limitado superiormente, toma-se B como o conjunto das quotas superiores, e A seu complemento. Este par de conjuntos satisfaz às premissas do axioma, portanto existe um elemento c que faz o corte entre eles, e c é obviamente a menor quota superior. Para demonstrar a recíproca, ou seja, dada uma partição em A e B em que cada elemento de A é menor que cada elemento de B, basta tomar c como a menor quota superior de A. Se um corpo ordenado satisfaz ao axioma de Dedekind então este corpo é arquimediano, ou seja, para qualquer elemento β > 0, temos que o conjunto { β, 2 β, 3 β, ...} não tem uma quota superior. Além disso, qualquer corpo de característica zero possui, como subcorpo, uma cópia do , os elementos desta cópia são definidos como as frações da forma (em que, nesta expressão, 1 é o elemento neutro multiplicativo do corpo). Se o corpo ordenado é arquimediano, então esta cópia de é um conjunto denso, ou seja, qualquer elemento do corpo está entre dois elementos desta cópia de . Com isto, dados dois corpos ordenados ordem-completos, é possível definir uma única função entre eles que preserva as operações de corpo e a relação de ordem. Como o é um corpo ordenado ordem-completo, o que se acabou de enunciar é que é único, a menos de isomorfismos. Porządek zupełny – własność porządków częściowych postulująca istnienie kresów. W literaturze matematycznej istnieje kilka definicji tego pojęcia różniących się szczegółami technicznymi zależnymi od kontekstu matematycznego. Il existe plusieurs notions non équivalentes d'ordre partiel complet (complete partial order ou CPO). La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique. En matemáticas, el concepto orden parcial completo se usa para referirse al menos a tres clases de conjunto parcialmente ordenado similares, pero distintas, caracterizadas por . Los órdenes parciales completos desempeñan un papel principal en la informática teórica, en semántica denotacional y teoría de dominios. 数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。 In mathematics, the phrase complete partial order is variously used to refer to at least three similar, but distinct, classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science: in denotational semantics and domain theory. 在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。

gold:hypernym

dbr:Classes

prov:wasDerivedFrom

wikipedia-en:Complete_partial_order?oldid=1118381387&ns=0

dbo:wikiPageLength

8890

foaf:isPrimaryTopicOf

wikipedia-en:Complete_partial_order