Intereting Posts

Does $A\oplus \mathbb{Z}\cong B\oplus \mathbb{Z}$ imply $A\cong B$?
If $r,s,t$ are prime numbers and $p,q$ positive integers s.t. $\text{lcm}(p,q)$ is $r^2s^4t^2$, then the number of ordered pairs $(p,q)$ is?
Identify infinite sum: $\sum\limits_{n=0}^{+\infty}\frac{x^{4n}}{(4n)!}$
Derivative of Riemann zeta, is this inequality true?
Understanding quotients of $\mathbb{Q}$
Finding the closed form for a sequence
If $\frac{\sin^4 x}{a}+\frac{\cos^4 x}{b}=\frac{1}{a+b}$, then show that $\frac{\sin^6 x}{a^2}+\frac{\cos^6 x}{b^2}=\frac{1}{(a+b)^2}$
Recursive Monotone Decreasing Sequence Proof ${x_{k}} = \frac{1}{2}\left({x_{k-1}+\frac{a}{{x_{k-1}}}}\right)$
When is the universal cover of a Riemannian manifold complete?
how to solve $\sum _{m=0}^{k-1}mC_{k-1}^{m}C_{N-k}^{m}$?
Geometric Intuition about the relation between Clifford Algebra and Exterior Algebra
Evaluate $\sum_{k=1}^nk\cdot k!$
$\sum a+b+c \sum \frac{ab+bc+ca}{a+b+c} \sum \frac{abc}{ab+bc+ca} \leq \sum a \sum b \sum c$
Pairwise measurable derivatives imply measurability of combined derivative
Evaluating $\displaystyle \int_{0}^{\frac{\pi}{2}}\frac{\sqrt{\sin x}}{\sqrt{\sin x}+\sqrt{\cos x}}dx$

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$?

- Mean value theorem for integrals: how does the sign matter?
- Series and integrals for inequalities and approximations to $\pi$
- Derivative of a vector with respect to a matrix
- Integral of $\sqrt{1-x^2}$ using integration by parts
- Prob. 26, Chap. 5 in Baby Rudin: If $\left| f^\prime(x) \right| \leq A \left| f(x) \right|$ on $$, then $f = 0$
- Proof of Ptolemy's inequality?
- How prove this $\lim_{n\to \infty}\sin{n^m}$ divergent.
- Find $\int_{ - \infty }^{ + \infty } {\frac{1} {1 + {x^4}}} \;{\mathrm{d}}x$
- Definite integral over a simplex
- Derivative of matrix involving trace and log

$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$

- Painting a cube with 3 colors (each used for 2 faces).
- Finding sum $\sum_{i=1}^n \frac1{4i^2-1}$
- Question About Notation In Field Theory.
- Last digits, numbers
- A circle with infinite radius is a line
- Is the pointwise maximum of two Riemann integrable functions Riemann integrable?
- Clarifying question on meaning of derivative of a linear transformation
- What is the expression of $n$ that equals to $\sum_{i=1}^n \frac{1}{i^2}$?
- why determinant is volume of parallelepiped in any dimensions
- Cool mathematics I can show to calculus students.
- Integration with a Bessel function
- $R\subseteq S$ integral extension and $S$ Noetherian implies $R$ Noetherian?
- Partial summation of a harmonic prime square series (Prime zeta functions)
- Probability of having $k$ empty urns after putting $n$ balls into $n$ urns
- Analogy between linear basis and prime factoring