Difference between revisions of "Interior (topology)"
From Maths
(Created initial version) |
(Added link to proof of equivalent definition - which I have now shown - added more references, removed some un-needed sections) |
||
| Line 5: | Line 5: | ||
* {{MM|\text{Int}(A):\eq\bigcup_{U\in\{V\in\mathcal{J}\ \vert\ V\subseteq A\} } U}} - the ''interior'' of {{M|A}} is the [[union]] of all [[open sets]] contained inside {{M|A}}. | * {{MM|\text{Int}(A):\eq\bigcup_{U\in\{V\in\mathcal{J}\ \vert\ V\subseteq A\} } U}} - the ''interior'' of {{M|A}} is the [[union]] of all [[open sets]] contained inside {{M|A}}. | ||
** We use {{M|\text{Int}(A,X)}} to emphasise that we are considering the interior of {{M|A}} with respect to the open sets of {{M|X}}. | ** We use {{M|\text{Int}(A,X)}} to emphasise that we are considering the interior of {{M|A}} with respect to the open sets of {{M|X}}. | ||
| + | ===Equivalent definitions=== | ||
| + | * {{MM|\text{Int}(A)\eq\bigcup_{x\in\{y\in X\ \vert\ y\text{ is an interior point of }A\} } \{x\} }}<ref group="Note">see ''[[interior point (topology)]]'' as needed for definition</ref> | ||
| + | ** See ''[[the interior of a set in a topological space is equal to the union of all interior points of that set]]'' for proof. | ||
==Immediate properties== | ==Immediate properties== | ||
| − | + | * {{M|\text{Int}(A)}} is [[open set|open]] | |
| − | * {{ | + | ** By definition of {{M|\mathcal{J} }} being a [[topology]] it is closed under arbitrary union. The interior is defined to be a union of certain open sets, thus their union is an open set. |
| − | ** | + | |
| − | {{ | + | |
==See also== | ==See also== | ||
* [[List of topological properties]] | * [[List of topological properties]] | ||
** {{link|Boundary|topology}} - denoted {{M|\partial A}} | ** {{link|Boundary|topology}} - denoted {{M|\partial A}} | ||
** {{link|Closure|topology}} - denoted {{M|\overline{A} }} | ** {{link|Closure|topology}} - denoted {{M|\overline{A} }} | ||
| − | == | + | ==Notes== |
| − | + | <references group="Note"/> | |
==References== | ==References== | ||
<references/> | <references/> | ||
| + | {{Requires references|grade=B|msg=Where did I get the interior point version from? Looking at the [[interior]] page (as of now, by ignoring the redirect [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 20:10, 16 February 2017 (UTC)) it seems: | ||
| + | * [[Books:Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene]] | ||
| + | * [[Books:Introduction to Topology - Bert Mendelson]] | ||
| + | have something to say}} | ||
{{Definition|Topology|Metric Space|Functional Analysis}} | {{Definition|Topology|Metric Space|Functional Analysis}} | ||
Latest revision as of 20:10, 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
[hide]Definition
Let (X,J) be a topological space and let A∈P(X) be an arbitrary subset of X, the interior of A, with respect to X, is denoted and defined as follows[1]:
- Int(A):=⋃U∈{V∈J | V⊆A}U - the interior of A is the union of all open sets contained inside A.
- We use Int(A,X) to emphasise that we are considering the interior of A with respect to the open sets of X.
Equivalent definitions
- Int(A)=⋃x∈{y∈X | y is an interior point of A}{x}[Note 1]
Immediate properties
- Int(A) is open
- By definition of J being a topology it is closed under arbitrary union. The interior is defined to be a union of certain open sets, thus their union is an open set.
See also
Notes
- Jump up ↑ see interior point (topology) as needed for definition
References
Grade: B
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
The message provided is:
