Предварительный заказ

редактировать

концепция теории множеств

В теории множеств предварительный заказ двоичное отношение $≤ {\ displaystyle \ leq}$ $\ leq$ , то есть транзитивное, Connex и хорошо обоснованное (точнее, соотношение $x ≤ y ∧ y ≰ x {\ displaystyle x \ leq y \ land y \ nleq x}$ $x \ leq y \ land y \ nleq x$ является вполне обоснованным). Другими словами, если $≤ {\ displaystyle \ leq}$ $\ leq$ является предварительным порядком в наборе $X {\ displaystyle X}$ $X$ , и если мы определяем $∼ {\ displaystyle \ sim}$ $\ sim$ по

x ∼ y ⟺ x ≤ y ∧ y ≤ x {\ displaystyle x \ sim y \ iff x \ leq y \ land y \ leq x}

x \ sim y \ iff x \ leq y \ land y \ leq x

тогда $∼ {\ displaystyle \ sim}$ $\ sim$ является отношением эквивалентности на $X {\ displaystyle X}$ $X$ и $≤ {\ displaystyle \ leq}$ $\ leq$ вызывает хороший порядок на компоненте $X / ∼ {\ displaystyle X / \ sim}$ $X / \ sim$ . тип заказа этого индуцированного порядкового номера - это порядковый номер, называемый длиной предварительного заказа.

A norm на множестве $X {\ displaystyle X}$ $X$ - это преобразование $X {\ displaystyle X}$ $X$ в порядковые номера. Каждая норма вызывает предварительный порядок; если $ϕ: X → O rd {\ displaystyle \ phi: X \ to Ord}$ $\ phi: X \ к порядку$ является нормой, соответствующее предварительное упорядочивание определяется как

x ≤ y ⟺ ϕ (x) ≤ ϕ (y) {\ displaystyle x \ leq y \ iff \ phi (x) \ leq \ phi (y)}

x \ leq y \ iff \ phi (x) \ leq \ phi (y)

И наоборот, каждое предварительное упорядочение индуцируется уникальной регулярной нормой (норма $ϕ: X → O rd {\ displaystyle \ phi: X \ to Ord}$ $\ phi: X \ к порядку$ является правильным, если для любого $x ∈ X {\ displaystyle x \ in X}$ $x \ in X$ и любой $α < ϕ ( x) {\displaystyle \alpha <\phi (x)}$ $\ alpha <\ phi (x)$ существует $y ∈ X {\ displaystyle y \ in X}$ $y \ in X$ такой, что $ϕ (y) = α {\ displaystyle \ phi (y) = \ alpha }$ $\ phi (y) = \ alpha$ ).

Содержание

1 Свойство предварительного упорядочивания
- 1.1 Примеры
- 1.2 Последствия
  - 1.2.1 Сокращение
  - 1.2.2 Разделение
2 См. Также
3 Ссылки

Свойство предварительного упорядочивания

Если $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ - это класс точек подмножеств некоторой коллекции $F {\ displaystyle {\ mathcal {F}}}$ ${\ mathcal {F}}$ из польских пробелов, $F {\ displaystyle {\ mathcal {F}}}$ ${\ mathcal {F}}$ закрыто в соответствии с Декартово произведение, и если $≤ {\ displaystyle \ leq}$ $\ leq$ является предварительным порядком некоторого подмножества $P {\ displaystyle P}$ $P$ некоторого элемента $X {\ displaystyle X}$ $X$ из $F {\ displaystyle {\ mathcal {F}}}$ ${\ mathcal {F}}$ , тогда $≤ {\ displaystyle \ leq}$ $\ leq$ называется $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ -предварительным порядком из $P {\ displaystyle P}$ $P$ , если отношения $< ∗ {\displaystyle <^{*}}$ ${\ displaystyle <^{*}}$ и $≤ ∗ {\ displaystyle \ leq ^ {*}}$ $\ leq ^ {*}$ являются элементами $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ , где f или $x, y ∈ X {\ displaystyle x, y \ in X}$ $x, y \ в X$ ,

$x < ∗ y ⟺ x ∈ P ∧ [ y ∉ P ∨ { x ≤ y ∧ y ≰ x } ] {\displaystyle x<^{*}y\iff x\in P\land [y\notin P\lor \{x\leq y\land y\not \leq x\}]}$ $x <^ {*} y \ iff x \ in P \ land [y \ notin P \ lor \ {x \ leq y \ land y \ not \ leq x \}]$
$x ≤ ∗ y ⟺ x ∈ P ∧ [y ∉ P ∨ x ≤ y] {\ displaystyle x \ leq ^ {*} y \ iff x \ in P \ land [y \ notin P \ lor x \ leq y]}$ $x \ leq ^ {*} y \ iff x \ in P \ land [y \ notin P \ lor x \ leq y]$

$Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ , как говорят, имеет свойство предварительного упорядочивания, если каждый набор в $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ допускает $Γ {\ displaystyle {\ boldsymbol {\ Gamma}} }$ ${\ boldsymbol {\ Gamma}}$ - предварительный заказ.

Свойство предварительного упорядочивания связано с более сильным свойством масштабирования ; На практике многие классы точек, обладающие свойством предварительного упорядочивания, также обладают свойством масштаба, что позволяет делать более убедительные выводы.

Примеры

$Π 1 1 {\ displaystyle {\ boldsymbol {\ Pi}} _ {1} ^ {1}}$ ${\ boldsymbol {\ Pi}} _ {1 } ^ {1}$ и $Σ 2 1 {\ displaystyle { \ boldsymbol {\ Sigma}} _ {2} ^ {1}}$ ${\ boldsymbol {\ Sigma}} _ {2} ^ {1}$ оба имеют свойство предварительного упорядочивания; это можно доказать только в ZFC. Предполагая, что достаточно больших кардиналов, для каждого $n ∈ ω {\ displaystyle n \ in \ omega}$ $n \ in \ omega$ , $Π 2 n + 1 1 {\ displaystyle {\ boldsymbol {\ Pi}} _ { 2n + 1} ^ {1}}$ ${\ boldsymbol {\ Pi}} _ {{2n + 1}} ^ {1}$ и $Σ 2 n + 2 1 {\ displaystyle {\ boldsymbol {\ Sigma}} _ {2n + 2} ^ {1}}$ ${\ boldsymbol {\ Sigma}} _ {{2n + 2}} ^ {1}$ имеют свойство предварительного заказа.

Последствия

Снижение

Если $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ является адекватным классом точек со свойством предварительного упорядочивания, тогда он также имеет свойство редукции : для любого пространства $X ∈ F {\ displaystyle X \ in {\ mathcal {F}}}$ $X \ in {\ mathcal {F}}$ и любые наборы $A, B ⊆ X {\ displaystyle A, B \ substeq X}$ $A, B \ substeq X$ , $A {\ displaystyle A}$ $A$ и $B {\ displaystyle B}$ $B$ оба в $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ , объединение $A ∪ B {\ displaystyle A \ cup B}$ $A \ cup B$ могут быть разбиты на наборы $A ∗, B ∗ {\ displaystyle A ^ {*}, B ^ {*}}$ ${\ displaystyle A ^ {*}, B ^ {*}}$ , оба в $Γ {\ displaystyle {\ boldsymbol {\ Gamma }}}$ ${\ boldsymbol {\ Gamma}}$ , такие, что $A ∗ ⊆ A {\ displaystyle A ^ {*} \ substeq A}$ $A ^ {*} \ substeq A$ и $B ∗ ⊆ B {\ displaystyle B ^ {*} \ substeq B}$ $B ^ {*} \ substeq B$ .

Разделение

Если $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ является адекватным классом точек у которого есть свойство предварительного упорядочивания, то $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ имеет свойство разделения : для любого пространства $X ∈ F {\ displaystyle X \ in {\ mathcal {F}}}$ $X \ in {\ mathcal {F}}$ и любые наборы $A, B ⊆ X {\ displaystyle A, B \ substeq X}$ $A, B \ substeq X$ , $A {\ displaystyle A}$ $A$ и $B {\ displaystyle B }$ $B$ непересекающиеся множества оба в $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ , есть набор $C ⊆ X {\ displaystyle C \ substeq X}$ $C \ substeq X$ так, что и $C {\ displaystyle C}$ $C$ , и его дополнение $X ∖ C {\ displaystyle X \ setminus C}$ $X \ setminus C$ находятся в $Γ {\ displaystyle {\ boldsymbol {\ Gamma}}}$ ${\ boldsymbol {\ Gamma}}$ , причем $A ⊆ C {\ displaystyle A \ substeq C}$ $A \ substeq C$ и $B ∩ C = ∅ {\ displaystyle B \ cap C = \ emptyset}$ $B \ cap C = \ emptyset$ .

Например, $Π 1 1 {\ displaystyle {\ boldsymbol {\ Pi}} _ {1} ^ { 1}}$ ${\ boldsymbol {\ Pi}} _ {1 } ^ {1}$ имеет свойство предварительного упорядочивания, поэтому $Σ 1 1 {\ displaystyle {\ boldsymbol {\ Sigma}} _ {1} ^ {1}}$ ${\ boldsymbol {\ Sigma}} _ {1} ^ {1}$ имеет разделение свойство. Это означает, что если $A {\ displaystyle A}$ $A$ и $B {\ displaystyle B}$ $B$ являются непересекающимися аналитическими подмножествами некоторого польского пространства $X {\ displaystyle X}$ $X$ , тогда существует подмножество Borel $C {\ displaystyle C}$ $C$ из $X {\ displaystyle X}$ $X$ так, что $C {\ displaystyle C}$ $C$ включает $A {\ displaystyle A}$ $A$ и не пересекается с $B { \ displaystyle B}$ $B$ .

См. также

Теория описательных множеств
Свойство Scale
Graded poset - Graded poset аналогичен предварительному порядку с нормой, заменяя карту на порядковые номера картой к целым числам

Ссылки

Moschovakis, Yiannis N. (1980). Описательная теория множеств. Северная Голландия. ISBN 0-444-70199-0.