Intereting Posts

Repeated roots for polynomial in $\overline{ \mathbb F_{p}}$
Examples of fields which are not perfect
Continuous Function
If $m=\omega(N log N)$, then what is the order of $N$ in terms of $m$?
Question on calculating curvature of a surface given implicitly
Can there be a point on a Riemann surface such that every rational function is ramified at this point?
Challenge: How to prove this reduction identity for factorials of even numbers?
One-variable continuity of one partial derivative implies differentiability?
Rearrangement Thm
Integral with logarithm – residue
Sum of two irrational radicals is irrational?
How to prove a limit exists using the $\epsilon$-$\delta$ definition of a limit
Finding the sum of this alternating series with factorial denominator.
Why are continuous functions not dense in $L^\infty$?
Computing the properties of the 3D-projection of an ellipse.

Let $(X,\leq)$ be a preorder, i.e. $\leq$ is a reflexive and transitive binary relation on $X$. I want to show that $\leq$ induces a topological structure on $X$. Hence I need to specify when a subset $A$ of $X$ must be considered open. My personal guess is that $A$ is open iff it is contained in its interior, where the interior $A^°$ of $A$ is defined as follows:

$$A^°:=\{s\in X: \forall f\in X (s\leq f\rightarrow f\in A\}$$

Do you think this makes sense? If not, which could be the right definition of an open?

- Winding Numbers and Fixed Point Theorems
- A system of linear equations
- Why second countable for definition of manifold?
- Product of two completely regular spaces is completely regular
- Is $\mathbb{Q}^2$ homeomorphic to $\mathbb{Q}^2\setminus \{0\}$?
- Let G be a bipartite graph all of whose vertices have the same degree d. Show that there are at least d distinct perfect matchings in G

A “dual” definition for the interior of $A$ could be

$$A^°:=\{s\in X: \forall p\in X (p\leq s\rightarrow p\in A\}$$

Do the two definitions work in order to get a topological space? Do they define the same topology on $X$ (if they define any?)

In the same spirit, we could define a topology by mean of closed subsets. I say that a subset $C$ of $X$ is closed when the closure of $C$ is contained in $C$, and i define the closure of $\overline{C}$ of $C$ as follows:

$$\overline{C}:=\{s\in X:\exists f\in X(s\leq f\wedge f\in C\}$$

or, dually, as

$$\overline{C}:=\{s\in X: \exists p\in X(p\leq s\wedge p\in C\}$$

The question is the same: do this define a topology on $X$? If so, what kind of topology is this? Has it some evident description, is it the obviuous one, or natural in some sense?

- What is special about simplices, circles, paths and cubes?
- Lang's treatment of product of Radon measures
- Finding all posets on a set
- Existence of two disjoint closed sets with zero infimal distance
- Continuity based on restricted continuity of two subsets
- Equivalence of continuous and sequential continuous implies first-countable?
- A and B disjoint, A compact, and B closed implies there is positive distance between both sets
- A weak version of Markov-Kakutani fixed point theorem
- Is the Michael line star countable?
- Is the unit sphere in $\Bbb R^4$ is path connected?

If you have a simple order, then the following approach by Munkres is a nice one:

The following will be the basis elements of the topology, and the generate the topology using this basis.

- All intervals of the form (a,b) where $a,b \in X$.
- All intervals $(a_{0},b)$ where $a_{0}$ is the smallest element (if any) of the space $X$.
- All intervals $(a,b_{0})$ where $b_{0}$ is the largest element (if any) of the space $X$.

It is easily seen that this forms a basis of a topology.

This is one way to define a topology on an ordered set. For example, the usual topology on $\mathbb{R}$ is the one obtained by this method.

Trying to enter into the mind of the OP I think she wants to mimic the usual euclidean topology on $\mathbb{R}$: so you can define a basis for your topology given by $ \{ (a,b):a,b\in X \}$. You have to check that it satisfies the condition for being a basis and if it’s true or not that order preserving endomorphism are continuous with this topology on both domain and codomain.

- For every club $C$ there is a club $D\subset C:\ |C\setminus D|=\kappa$ and thus $|club_{\kappa}|>\kappa$
- Series as an integral (sophomore's dream)
- Sum of squares of i.i.d. finite mean variables, divided by $n^2$, approaches $0$ a.s.
- Finding a matrix with a given null space.
- Binary search complexity
- A generalization of Kirkman's schoolgirl problem
- How to find all real solution to satisfy this equation without casework or bruteforce?
- How prove this $\int_{a}^{b}f^2(x)dx\le (b-a)^2\int_{a}^{b}^2dx$
- 'Obvious' theorems that are actually false
- Are there $3$ disjoint copies of $2K_{3,3} \cup (K_{5,5} \setminus C_{10})$ in $K_{11,11}$?
- Why is the Hilbert Cube homogeneous?
- Odd and even numbers in binary system
- Evaluating the primitive $\int \frac{\mathrm dx}{e^{2x} + e^x + 1} $
- the principle of uniform boundedness and $l^p$ space
- What is a Manifold?