Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorStephan A Spahn
   • CommentTimeFeb 29th 2012
   • PermaLink
   Author: Stephan A Spahn
   Format: MarkdownItexI changed the name of [[discrete space]] to [[discrete object]] such that it is now consistent with [[codiscrete object]].

   I changed the name of discrete space to discrete object such that it is now consistent with codiscrete object.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 29th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexOkay, good point.

   Okay, good point.

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeMar 1st 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI added a hatnote.

   I added a hatnote.

4. • CommentRowNumber4.
   • CommentAuthorTodd_Trimble
   • CommentTimeMar 2nd 2016
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexIn [[discrete object]], I saw two mentions of the diagonal map "$X \times X \to X$", so I made them both $X \to X \times X$. The first paragraph under Discrete Geometric Spaces puzzled me, where it says, "the converse holds if $X$ satisfies the $T_0$ separation axiom" (i.e., if the diagonal map is open, then $X$ is discrete provided we assume $T_0$). I don't understand why we need that assumption. Suppose $X \to X \times X$ is an open map. In particular the image of the diagonal map is an open set in $X \times X$, i.e., for each $(x, x)$ there is a basic open $U \times V$ containing $(x, x)$ that is entirely contained in the diagonal. Thus the subset $\{x\} \times V$ of $U \times V$ would also be entirely contained in the diagonal, i.e., $(x, y) \in \{x\} \times V$ implies $x = y$, for any $y \in V$. So the open $V$ is the singleton $\{x\}$. (By similar reasoning, $U$ is also the singleton $\{x\}$.) So $\{x\}$ is open, for every $x \in X$. No separation axiom needed. Am I missing something?

   In discrete object, I saw two mentions of the diagonal map “$X \times X \to X$”, so I made them both $X \to X \times X$.

   The first paragraph under Discrete Geometric Spaces puzzled me, where it says, “the converse holds if $X$ satisfies the $T_0$ separation axiom” (i.e., if the diagonal map is open, then $X$ is discrete provided we assume $T_0$). I don’t understand why we need that assumption.

   Suppose $X \to X \times X$ is an open map. In particular the image of the diagonal map is an open set in $X \times X$, i.e., for each $(x, x)$ there is a basic open $U \times V$ containing $(x, x)$ that is entirely contained in the diagonal. Thus the subset $\{x\} \times V$ of $U \times V$ would also be entirely contained in the diagonal, i.e., $(x, y) \in \{x\} \times V$ implies $x = y$, for any $y \in V$. So the open $V$ is the singleton $\{x\}$. (By similar reasoning, $U$ is also the singleton $\{x\}$.) So $\{x\}$ is open, for every $x \in X$. No separation axiom needed. Am I missing something?

5. • CommentRowNumber5.
   • CommentAuthorZhen Lin
   • CommentTimeMar 2nd 2016
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexA topological space has open diagonal if and only if it is discrete, indeed. I prefer this argument: for every $x \in X$, the intersection of the diagonal and $\{ x \} \times X$ is the singleton $\{ (x, x) \}$, hence $\{ x \}$ is open in $X$.

   A topological space has open diagonal if and only if it is discrete, indeed. I prefer this argument: for every $x \in X$, the intersection of the diagonal and $\{ x \} \times X$ is the singleton $\{ (x, x) \}$, hence $\{ x \}$ is open in $X$.

6. • CommentRowNumber6.
   • CommentAuthorTodd_Trimble
   • CommentTimeMar 2nd 2016
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexOh, I see: the inverse image of the open $\Delta$ along $y \mapsto (x, y)$, for any given $x \in X$.

   Oh, I see: the inverse image of the open $\Delta$ along $y \mapsto (x, y)$, for any given $x \in X$.

7. • CommentRowNumber7.
   • CommentAuthorTodd_Trimble
   • CommentTimeMar 2nd 2016
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI went ahead and edited that point in.

   I went ahead and edited that point in.