Intereting Posts

Prove that $\mathbb{N}$ with cofinite topology is not path-connected space.
Intuition behind topological spaces
Which coefficients of the characteristic polynomial of the shape operator are isometric invariants?
Stopping time question $\sigma$
Paradox as to Measure of Countable Dense Subsets?
Prove existence of disjoint open sets containing disjoint closed sets in a topology induced by a metric.
An odd question about induction.
How does Cantor's diagonal argument work?
How to calculate the norm of an ideal?
Prove or disprove that $\exists a,b,c\in\mathbb{Z}_+\ \forall n\in\mathbb{Z}_+\ \exists k\in\mathbb{Z}_+\colon\ a^k+b^k+c^k = 0(\mathrm{mod}\ 2^n)$
Convergence of exponential Brownian martingale to zero almost surely
Finding the derivative of $x^x$
Given $y_n=(1+\frac{1}{n})^{n+1}$ show that $\lbrace y_n \rbrace$ is a decreasing sequence
New proof about normal matrix is diagonalizable.
How do you prove that there are infinitely many primes of the form $5 + 6n$?

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?

- Elementary proof that $Gl_n(\mathbb R)$ and $Gl_m(R)$ are homeomorphic iff $n=m$
- Intersection of Connected Sets
- Are there path-connected but not polygonal-connected sets?
- Use the definition of “topologically conjugate” to prove that $F(x)=4x^3-3x$ is chaotic.
- A non-compact topological space where every continuous real map attains max and min
- $f$ is continuous and closed $\Longleftrightarrow \overline{f(E)} = f(\overline{E})$ for all $E \subseteq M$

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?

- A continuous mapping is determined by its values on a dense set
- Proving that if a set is both open and closed then it is equal to the real numbers
- How can I prove this is a metric?
- Compact space and Hausdorff space
- Disjoint compact sets in a Hausdorff space can be separated
- If locally convex topologies exhibit the same dual spaces, do they exhibit the same continuous linear operators?
- For a topological group $G$ and a subgroup $H$, is it true that $ = \overline{}$? What about algebraic groups?
- Cantor-Bendixson rank of a closed countable subset of the reals, and scattered sets
- Isotopy and homeomorphism
- Continuous function from a compact space to a Hausdorff space is a closed function

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.

- Connected-ness of the boundary of convex sets in $\mathbb R^n$ , $n>1$ , under additional assumptions of the convex set being compact or bounded
- Why does cross product give a vector which is perpendicular to a plane
- Properties of compact set: non-empty intersection of any system of closed subsets with finite intersection property
- Algebraic proof of $\sum_{i=0}^k{{n \choose i}{m \choose {k-i}}}= {{m+n}\choose k}$
- Least sum of distances
- pseudo-inverse to the operation of turning a metric space into a topological space
- Finding the value of $3(\alpha-\beta)^2$ if $\int_0^2 f(x)dx=f(\alpha) +f(\beta)$ for all $f$
- How can people understand complex numbers and similar mathematical concepts?
- Closed form for ${\large\int}_0^1\frac{\ln^2x}{\sqrt{1-x+x^2}}dx$
- Where to learn integration techniques?
- Find the number of permutations in $S_n$ containing fixed elements in one cycle
- Vieta jumping with non-monic polynomials
- Find primitive element such that conductor is relatively prime to an ideal (exercise from Neukirch)
- discrete version of Laplacian
- Difference between a proposition and an assertion