Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your pre-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a pre-order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$. This becomes a genuine partial order exactly when $X$ is $T_0$.

(Sorry; I didn't realise until after posting that JoelJoel had already said this.)

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your pre-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a pre-order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$. This becomes a genuine partial order exactly when $X$ is $T_0$.

(Sorry; I didn't realise until after posting that Joel had already said this.)

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your pre-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a pre-order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$. This becomes a genuine partial order exactly when $X$ is $T_0$.

(Sorry; I didn't realise until after posting that Joel had already said this.)

Pre-order instead of partial order
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your partiallypre-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a partial orderpre-order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$. This becomes a genuine partial order exactly when $X$ is $T_0$.

(Sorry; I didn't realise until after posting that Joel had already said this.)

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your partially-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a partial order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$.

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your pre-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a pre-order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$. This becomes a genuine partial order exactly when $X$ is $T_0$.

(Sorry; I didn't realise until after posting that Joel had already said this.)

Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Harald, as Peter May observes in his notes on finite topological spaces (but as must already be standard), your partially-ordered sets provide the only examples. Indeed, if $X$ is an Alexandrov space (or Alexandrov-discrete space, whatever the terminology is), then we may impose a partial order on it by demanding for $x, y \in X$ that $x \le y$ if and only if $x$ lies in every neighbourhood of $y$.