# quasiorders

• Jun 27th 2006, 01:59 PM
nweissma
quasiorders
a quasiorder being defined as reflexive and transitive - not antisymmetric (if also antisymmetric then it is a partial ordering).

it is a trivial quasiorder iff: (Ax,y)(x<=y). can someone provide me with a few canonical, if not pathological, examples of a trivial quasiorder?

what is the relation between a neighborhood and an open set? a specialisation quasiorder .=. (x<=y) iff every neighborhood of x is a neighborhood of y. i need a few examples of a specialisation quasiorder.

why is a singleton necessarily a closed set -- why can't it be declared open?

thanks.
• Jun 28th 2006, 01:10 AM
JakeD
Quote:

Originally Posted by nweissma
a quasiorder being defined as reflexive and transitive - not antisymmetric (if also antisymmetric then it is a partial ordering).

it is a trivial quasiorder iff: (Ax,y)(x<=y). can someone provide me with a few canonical, if not pathological, examples of a trivial quasiorder?

what is the relation between a neighborhood and an open set? a specialisation quasiorder .=. (x<=y) iff every neighborhood of x is a neighborhood of y. i need a few examples of a specialisation quasiorder.

why is a singleton necessarily a closed set -- why can't it be declared open?

thanks.

It's hard to think of a non-trivial example of trivial quasiorder. Define $\displaystyle \equiv$ by $\displaystyle \forall x,y, x \equiv y$. It's trivially trivial, but what you gonna do? :)

A neighborhood of a point x is any open set containing x. I've never heard of a specialization quasiorder.

There are valid topologies where a singleton is an open set. One example is the discrete topology where every set is an open set. It's a theorem that a topology satisfies the $\displaystyle T_1$ separation axiom iff every set containing a single point is closed.
• Jun 29th 2006, 11:42 AM
nweissma
neighborhoods vs open sets
A neighborhood of a point x is any open set containing x.

this is a mere clinical definition.

consider: separations axioms are defined in terms of open sets. can they be defined ito neighborhoods? how?