Drag (physics)

In set theory, a prewellordering is a binary relation $\le$ that is transitive, total, and wellfounded (more precisely, the relation $x\le y\wedge y\nleqq x$ is wellfounded). In other words, if $\le$ is a prewellordering on a set $X$, and if we define $\sim$ by

$x\sim y⟺x\le y\wedge y\le x$

then $\sim$ is an equivalence relation on $X$, and $\le$ induces a wellordering on the quotient $X/\sim$. The order-type of this induced wellordering is an ordinal, referred to as the length of the prewellordering.

A norm on a set $X$ is a map from $X$ into the ordinals. Every norm induces a prewellordering; if $\varphi :X\to Ord$ is a norm, the associated prewellordering is given by

$x\le y⟺\varphi (x)\le \varphi (y)$

Conversely, every prewellordering is induced by a unique regular norm (a norm $\varphi :X\to Ord$ is regular if, for any $x\in X$ and any $\alpha <\varphi (x)$, there is $y\in X$ such that $\varphi (y)=\alpha$).

Prewellordering property

If $𝜞$ is a pointclass of subsets of some collection $ℱ$ of Polish spaces, $ℱ$ closed under Cartesian product, and if $\le$ is a prewellordering of some subset $P$ of some element $X$ of $ℱ$, then $\le$ is said to be a $𝜞$-prewellordering of $P$ if the relations ${<}^{\ast }$ and ${\le }^{\ast }$ are elements of $𝜞$, where for $x,y\in X$,

1. $x{<}^{\ast }y⟺x\in P\wedge [y\notin P\vee \{x\le y\wedge y\le ̸x\}]$
2. $x{\le }^{\ast }y⟺x\in P\wedge [y\notin P\vee x\le y]$

$𝜞$ is said to have the prewellordering property if every set in $𝜞$ admits a $𝜞$-prewellordering.

The prewellordering property is related to the stronger scale property; in practice, many pointclasses having the prewellordering property also have the scale property, which allows drawing stronger conclusions.

Examples

${𝜫}_1^1$ and ${𝜮}_2^1$ both have the prewellordering property; this is provable in ZFC alone. Assuming sufficient large cardinals, for every $n\in \omega$, ${𝜫}_{2n+1}^1$ and ${𝜮}_{2n+2}^1$ have the prewellordering property.

Consequences

Reduction

If $𝜞$ is an adequate pointclass with the prewellordering property, then it also has the reduction property: For any space $X\in ℱ$ and any sets $A,B\subseteq X$, $A$ and $B$ both in $𝜞$, the union $A\cup B$ may be partitioned into sets $A^{\ast },B^{\ast }$, both in $𝜞$, such that $A^{\ast }\subseteq A$ and $B^{\ast }\subseteq B$.

Separation

If $𝜞$ is an adequate pointclass whose dual pointclass has the prewellordering property, then $𝜞$ has the separation property: For any space $X\in ℱ$ and any sets $A,B\subseteq X$, $A$ and $B$ disjoint sets both in $𝜞$, there is a set $C\subseteq X$ such that both $C$ and its complement $X\setminus C$ are in $𝜞$, with $A\subseteq C$ and $B\cap C=\mathrm{\varnothing }$.

For example, ${𝜫}_1^1$ has the prewellordering property, so ${𝜮}_1^1$ has the separation property. This means that if $A$ and $B$ are disjoint analytic subsets of some Polish space $X$, then there is a Borel subset $C$ of $X$ such that $C$ includes $A$ and is disjoint from $B$.

See also

• Descriptive set theory
• Scale property
• Graded poset – a graded poset is analogous to a prewellordering with a norm, replacing a map to the ordinals with a map to the integers

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534