Showing the Inclusion of Infimum and Supremum in the Closure of a Bounded Set

cateater2000
Messages
35
Reaction score
0
If A is a bounded subset of the reals, show that the points infA, supA belong to the closure A*.


At first the answer seems obvious to me since A* contains its limit points. I'm just having trouble putting it into words, any suggestions would be great, thanks.
 
Physics news on Phys.org
Can you show that any open neigborhood of inf A contains some element of A?
 
It is easy to construct two sequences of points which converge to infA and supA respectively. Take intervals of length 1/n above infA and below supA. Each of these must contain a point of A.
 
Help, anyone. I am very new to this forum and am really here trying to help my son with his wicked 6th grade homework. His teacher is in my opinion, assigning problems that are way too difficult. I was hoping someone here could maybe help. The problem is as follows: The students are given the sequence 1,5,13,25,41,61 and have to come up with an equation to solve the sequence. Any ideas? This should be easy for you all. But for me, who was good at math at one time, this is beyond what I can come up with. Any help would be appreciated!
 
There are many "natural" ways to "solve" this.

Why don't you consider the differences between consecutive terms?
 
If A is a bounded subset of the reals, show that the points infA, supA belong to the closure A*.

The answer I gave previously assumed that infA and supA were not in A. If they are in A there is nothing to prove, but my previous argument may not hold (surprise).

Question for debrawallenger - what has this got to do with the original question?
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
Back
Top