8
$\begingroup$

We are considering the made up words opsure and clinterior, where the opsure of a set $A$ is the smallest open set containing $A$ and the clinterior of a set $B$ is the largest closed set contained in $B$.

I am tasked with the following:

Give an example a set $X$ which does not have an opsure, and give an example of a set $Y$ which does not have a clinterior. What is the key reason that every set has a closure but not an opsure? What is the key reason that every set has an interior but not a clinterior?"

First we define an open set:

Given a set $X \subset \mathbb R$, $X$ is called open if $\forall_x \in X$, $x$ has an $\epsilon$-neighborhood which is contained in $X$. So an example of an open set is $(a,b)$. This is true $\forall_{a,b} \in \mathbb R$ given $a \neq b$. Additionally, $\emptyset$ and $\mathbb R$ are open sets.

Likewise, we define a closed set:

A set $Y$ is closed if it contains all its limit points. Or, we can say $Y$ is closed if and only if $Y^c$ is open. Examples of closed sets are $[c,d]$ and $\emptyset$ (it is only one of two sets that are both empty and closed! The other one being $\mathbb R$). Again, we assume $\forall_{c,d} \in \mathbb R$ and $c \neq d$.

For the example of a set lacking the property of opsure:

Given an open set $A$, the smallest open set containing $A$ is $A$ itself. So a set lacking opsure, call it $X$, is a set that is not the smallest set that contains itself. An example of this set would be $X = \mathbb R + (0,1)$ since $\mathbb R$ already contains the set $(0,1)$, thus the set $X$ lacks having the property of opsure as $X$ is not the smallest set that contains itself.

Here I am struggling though. I am not sure if my above example works/is correct and I am having a hard time finding a set $Y$ that satisfies the property of having what is defined as a clinterior.

Any help would be greatly appreciated, thanks!

$\endgroup$
3
  • 1
    $\begingroup$ Define "smallest". There is no such thing unless you define it. And if your definition goes along the lines "an intersection of all sets containing A", then read again spaceisdarkgreen's answer. $\endgroup$ Commented Oct 30, 2017 at 6:11
  • $\begingroup$ It's not clear what you mean by $\mathbb R + (0,1).$ If you mean $\mathbb R \cup (0,1),$ then observe that $\mathbb R \cup (0,1) = \mathbb R,$ so your attempted example is really just $X = \mathbb R,$ which is an open set and is actually its own opsure. $\endgroup$
    – David K
    Commented Oct 30, 2017 at 10:56
  • $\begingroup$ I think that the interior of Clint is called "Clinterior". $\endgroup$
    – Asaf Karagila
    Commented Oct 30, 2017 at 14:59

2 Answers 2

5
$\begingroup$

Hint

For a set that has no oposure, consider $[0,1].$ For a set that has no clinterior, consider $(0,1)$.

The "key reason" has to do with the fact that intersections of open sets are not necessarily open and unions of closed sets are not necessarily closed.

$\endgroup$
2
  • $\begingroup$ is $[0, 1]$ a set with no opsure because it is not an open set? Likewise for $(0, 1)$? $\endgroup$ Commented Oct 30, 2017 at 4:21
  • $\begingroup$ With the usual topology on $\Bbb R$, if $S$ is open and $S\supset [0,1]$ then there exists $r_0>0$ and $r_1>0$ such that $S\supset$ $ (-r_0,r_0)\cup (1-r_1,1+r_1)\cup [0,1] $ $\supset (-r^*,1+r^*) $ where $r^*=\min (r_0,r_1)>0.$... But then $[0,1]\subset (-r^*/2,1+r^*/2)$ $\subsetneqq S. $ So no open set containing $[0,1]$ can be the smallet. ... In some other topologies a closed set may have an opsure. $\endgroup$ Commented Oct 30, 2017 at 11:37
4
$\begingroup$

I assume that you define smaller as $A$ is smaller than $B$ if $A\subsetneq B$ and the smallest set of a family is a set that is smaller than any other set in the family.

You should probably start with the reason a set always have an interior and closure to see where this reason breaks down for clinterior and opsure.

The reason we have a interior and closure lies in how we can construct them. The interior of a set is the union of it's open subsets and the closure is the intersection of it's closed supersets. The existence is guaranteed since the union of open sets is open and intersection of closed sets is closed.

Now if we would like to do the similar construct we would try intersection of open sets or union of closed sets which doesn't need to be open or closed respectively.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .