Interior (topology)

See Task:Merge interior page into interior (topology) page - this hasn't been done yet Alec (talk) 19:27, 16 February 2017 (UTC)

Definition

Let $(X,\mathcal{J})$ be a topological space and let $A\in\mathcal{P}(X)$ be an arbitrary subset of $X$, the interior of $A$, with respect to $X$, is denoted and defined as follows:

• $$\text{Int}(A):\eq\bigcup_{U\in\{V\in\mathcal{J}\ \vert\ V\subseteq A\} } U$$ - the interior of $A$ is the union of all open sets contained inside $A$.
  • We use $\text{Int}(A,X)$ to emphasise that we are considering the interior of $A$ with respect to the open sets of $X$.

Equivalent definitions

• $$\text{Int}(A)\eq\bigcup_{x\in\{y\in X\ \vert\ y\text{ is an interior point of }A\} } \{x\}$$ (see interior point (topology) as needed for definition)
  • Claim 1: this is indeed an equality

Caveat:Unproved, suspected from current version of interior page - Alec (talk) 19:27, 16 February 2017 (UTC)

See also

• List of topological properties
  • Boundary - denoted $\partial A$
  • Closure - denoted $\overline{A}$

Proof of claims

Grade: B

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

Would be good to do