Difference between revisions of "Interior (topology)"
From Maths
(Created initial version) |
(No difference)
|
Revision as of 19:27, 16 February 2017
- See Task:Merge interior page into interior (topology) page - this hasn't been done yet Alec (talk) 19:27, 16 February 2017 (UTC)
Contents
Definition
Let [ilmath](X,\mathcal{J})[/ilmath] be a topological space and let [ilmath]A\in\mathcal{P}(X)[/ilmath] be an arbitrary subset of [ilmath]X[/ilmath], the interior of [ilmath]A[/ilmath], with respect to [ilmath]X[/ilmath], is denoted and defined as follows[1]:
- [math]\text{Int}(A):\eq\bigcup_{U\in\{V\in\mathcal{J}\ \vert\ V\subseteq A\} } U[/math] - the interior of [ilmath]A[/ilmath] is the union of all open sets contained inside [ilmath]A[/ilmath].
- We use [ilmath]\text{Int}(A,X)[/ilmath] to emphasise that we are considering the interior of [ilmath]A[/ilmath] with respect to the open sets of [ilmath]X[/ilmath].
Immediate properties
Equivalent definitions
- [math]\text{Int}(A)\eq\bigcup_{x\in\{y\in X\ \vert\ y\text{ is an interior point of }A\} } \{x\} [/math] (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
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:
The message provided is:
Would be good to do
