Intereting Posts

Dirac's delta in 3 dimensions: proof of $\nabla^2(\|\boldsymbol{x}-\boldsymbol{x}_0\|^{-1})=-4\pi\delta(\boldsymbol{x}-\boldsymbol{x}_0)$
Tangent bundle of a quotient by a proper action
Algebra of matrices — equivalence of norms
Rate of convergence of mean in a central limit theorem setting
Prove algorithm correctness
Solving the complex polynomial
Injective functions with intermediate value property are continuous. Better proof?
“The set of all true statements of first order logic”
Finite Abelian Groups question
Prove that any group of order 15 is cyclic.
Questions about the computation of a limit.
Taylor series of a convolution
Lebesgue integral on any open set is $\ge 0$, is it still $\geq 0$ on any $G_{\delta}$ set?
Are eigenspaces and minimal polynomials sufficient for similarity?
What is the next picture in this sequence?

Let $S$ and $T$ be nonempty bounded subsets of $\mathbb{R}$ with $S\subseteq T$. How do I prove that $\inf T\leq\inf S\leq\sup S\leq \sup T$?

- asymptotically sharp upper and lower bound for for arctan
- $\sin(x) = \sum{a_n \sin(n \log(x))+b_n \cos(n \log(x))}$
- A sine integral $\int_0^{\infty} \left(\frac{\sin x }{x }\right)^n\,\mathrm{d}x$
- number of real roots of $2012$ degree equation in $x\in \left$
- How prove this inequality $\frac{2}{(a+b)(4-ab)}+\frac{2}{(b+c)(4-bc)}+\frac{2}{(a+c)(4-ac)}\ge 1$
- Is $ \sum\limits_{n=1}^\infty \frac{|\sin n|^n}n$ convergent？
- $ \cos {A} \cos {B} \cos {C} \leq \frac{1}{8} $
- How prove this equality $4064b^6+4064c^6+1452b^2c^4+8013b^4c^2+7172b^3c^3-4728b^5c-11289bc^5\ge 0$
- Calculate the surface integral $\iint_S (\nabla \times F)\cdot dS$ over a part of a sphere
- How do you calculate this limit $\mathop {\lim }\limits_{x \to 0} \frac{{\sin (\sin x)}}{x}$?

$S\subseteq T$ means every member of $S$ is a member of $T$.

$a = \inf S$ means $a$ is the largest lower bound of $S$, so it’s $\le$ every member of $S$ and $\ge$ all other lower bounds of $S$.

If a number $b$ is $\le$ every member of $T$, and every member of $S$ is a member of $T$, then $b$ is $\le$ every member of $S$. Therefore $\inf T$ is $\le$ every member of $S$. Therefore $\inf T$ is a lower bound of $S$. Therefore $\inf T$ is $\le$ the largest lower bound of $S$. In other words $\inf T\le \inf S$.

A similar argument shows $\sup T\ge\sup S$.

The statement that $\inf S\le \sup S$ is true only if $S\ne\varnothing$. If $S\ne\varnothing$, then there exists $s\in S$. And we must then have $\inf S\le s\le\sup S$.

The fact that if $S\subseteq T$ then $\inf S\ge\inf T$ shows that $\inf\varnothing\ge$ all other “inf”s, so $\inf\varnothing=\infty$. Similarly $\sup\varnothing=-\infty$.

**Hint:**

Direct proof:

- Let $(x_n)_{n \in \mathbb{N}} \subseteq S$ be a sequence such that $\lim_{n \to \infty} x_n = \inf S$.
- Since $S \subseteq T$ we have $(x_n)_{n \in \mathbb{N}} \subseteq T$ and so $\lim_{n \to \infty} x_n \geq \inf T$.

By contradiction:

- Assume that $\inf S < \inf T$.
- By definition of infimum, there exists $x \in S$ such that $x < \inf T$, but $x \in T$, contradiction with the definition of $\inf T$.

I hope this helps $\ddot\smile$

I went about the proof this way. Please tell me if I am missing something.

Case 1. If $A \subset B$ then there exists $b_1,b_2\in B$ such that $b_1,b_2 \notin A$. Let $a_1,a_2 \in A$ such that $a_1=$ inf A and $a_2$ = sup A. Suppose $b_1$=inf B and $b_2$=sup B than $b_1<a_1<a_2<b_2$ which implies inf $B<$ inf $A < $ sup $A<$ sup $B$

Case 2. If $A = B$ than every element in $A$ is in $B$. This implies that if $A$ is bounded above or below so is $B$ and vice versa. If the sup $B$ is defined to be the least upper bound and the inf $B$ is defined to be the greatest lowest bound. Than sup $B$ = sup $A$ and inf $B$ = inf $A$. \

1

Since $A \subseteq B$ the following equality can be written as inf $B\leq$ inf $A\leq$ sup $A \leq$ sup $B$

- variant on Sierpinski carpet: rescue the tablecloth!
- How did we find the solution?
- Minimum number of edge-disjoint paths needed to cover a graph
- Proving $C()$ Is Not Complete Under $L_1$ Without A Counter Example
- Proof of the universal property of the quotient topology
- About the series $\sum_{n\geq 0}\frac{1}{(2n+1)^2+k}$ and the digamma function
- Poincaré Inequality – Product Of Measures
- On constructing a triangle given the circumradius, inradius, and altitude .
- Rate of convergence for Newton's method for the Approximation of the Lambert W function
- Definability in a given structure
- How many idempotent elements does the ring ${\bf Z}_n$ contain?
- Method for coming up with consecutive integers not relatively prime to $(100!)$
- Sum and Product of Infinite Radicals
- Natural Numbers and Well ordering
- Demystify integration of $\int \frac{1}{x} \mathrm dx$