## You are here

Homeinterior

## Primary tabs

# interior

Let $A$ be a subset of a topological space $X$.

The union of all open sets contained in $A$
is defined to be the *interior* of $A$.
Equivalently, one could define the interior
of $A$ to the be the largest open set contained in $A$.

In this entry we denote the interior of $A$ by $\operatorname{int}(A)$. Another common notation is $A^{\circ}$.

The *exterior* of $A$ is defined as
the union of all open sets whose intersection with $A$ is empty.
That is, the exterior of $A$ is the interior of the complement of $A$.

The interior of a set enjoys many special properties, some of which are listed below:

1. $\operatorname{int}(A)\subseteq A$

2. $\operatorname{int}(A)$ is open

3. $\operatorname{int}(\operatorname{int}(A))=\operatorname{int}(A)$

4. $\operatorname{int}(X)=X$

5. $\operatorname{int}(\varnothing)=\varnothing$

6. $A$ is open if and only if $A=\operatorname{int}(A)$

7. $\overline{A^{\complement}}=(\operatorname{int}(A))^{\complement}$

8. $\overline{A}^{\complement}=\operatorname{int}(A^{\complement})$

9. $A\subseteq B$ implies that $\operatorname{int}(A)\subseteq\operatorname{int}(B)$

10. $\operatorname{int}(A)=A\setminus\partial A$, where $\partial A$ is the boundary of $A$

11. $X=\operatorname{int}(A)\cup\partial A\cup\operatorname{int}(A^{\complement})$

# References

- 1
S. Willard,
*General Topology*, Addison-Wesley Publishing Company, 1970.

## Mathematics Subject Classification

54-00*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia