Intereting Posts

Relative compactness of metric space
Dihedral group – elements of order $2$
Compute $\int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx$
Understanding of nowhere dense sets
Combinatorial Proof for Binomial Identity: $\sum_{k = 0}^n \binom{k}{p} = \binom{n+1}{p+1}$
What is a “vanishing moment”?
Lifting cohomology-killing maps through the 3-sphere
Intuition behind variational principle
$(0,1)$ is an open subset of $\mathbb{R}$ but not of $\mathbb{R}^2$, when we think of $\mathbb{R}$ as the x-axis in $\mathbb{R}^2$. Prove this.
Expected number of steps till a random walk hits a or -b.
Showing that $f(x)^3 + g(x)^3 + h(x)^3 – 3f(x)g(x)h(x) = 1$ for functions $f$, $g$, and $h$ defined by certain power series
Grothendieck group of the monoid of subsets in a group
What is the inverse function of $\ x^2+x$?
Can a collection of points be recovered from its multiset of distances?
Number of non-decreasing functions between two finite sets

Is it the case that for every normed space, the norm is always weakly lower semicontinuous? Does it also hold for topologies other than the weak one?

- If $X$ is a connected subset of a connected space $M$ then the complement of a component of $M \setminus X$ is connected
- Second homotopy group of real Grassmannians $\textrm{Gr}(n,m)$, special case $n=m=2$ not clear.
- Properties of function $f(x) = (1 + x^2)^{-\alpha/2}(\log(2+x^2))^{-1},\text{ }x \in \mathbb{R}$ with $0 < \alpha < 1$.
- Prove Uncountable set minus a countable set is uncountable
- The diameter of a compact set.
- Banach-Space-Valued Analytic Functions
- Significance of Sobolev spaces for numerical analysis & PDEs?
- $U\subset [0,\infty)$ is open and unbounded $\Rightarrow \exists x$ such that $U\cap \{nx;n\in \mathbb N\}$ is infinite.
- Distance minimizers in $L^1$ and $L^{\infty}$
- Weakly compact implies bounded in norm

One can show that for a given real-valued function $f$ the equivalence $$f \, \text{convex, lower semicontinuous} \, \Leftrightarrow \, f \, \text{convex, weakly lower semicontinuous}$$

holds. Since the norm $f(x) := \|x\|$ is convex and continuous (by the triangle inequality), the claim follows.

Moreover, for any topology $\mathcal{S}$ finer as the weak topology $\mathcal{T}$, $\mathcal{T}$-lower semicontinuity implies $\mathcal{S}$-lower semicontinuity right from the definition: Let $(x_n)_n$ a sequence such that $x_n \to x$ in $(X,\mathcal{S})$, then $x_n \to x$ in $(X,\mathcal{T})$ since $\mathcal{T} \subseteq \mathcal{S}$. Consequently, by the $\mathcal{T}$-lower semicontinuity $$f(x) \leq \liminf_{n \to \infty} f(x_n).$$

Here’s a direct argument. Let $X$ be a normed space. We want to show that, for any $\lambda \geq 0$, the set $\{ x \in X : \|x\| \leq \lambda\}$ is weakly closed. Let $x_i$ be a net in this set converging weakly to $x \in X$. By Hahn-Banach, there is a $\varphi \in X^*$ with $\|\varphi\| = 1$ such that $\varphi(x) = \|x\|$. By weak convergence,

$$\|x\| = \varphi(x) =\lim_i \varphi(x_i) = \lim_i |\varphi(x_i)| \leq \sup_i \|x_i\| \leq \lambda$$

so the claim holds.

Let X be a normed space. We want to show that, for any λ≥0, the set {x∈X:∥x∥≤λ} is weakly closed.Firstly,the set {x∈X:∥x∥≤λ} is convex. Secondly, {x∈X:∥x∥≤λ} is closed in the norm topology.Hence,the result follows from the fact that a convex set’s closure is the closure in the weak topology.

- In an Integral Domain is it true that $\gcd(ac,ab) = a\gcd(c,b)$?
- Galois Group of $x^{4}+7$
- A surjective map which is not a submersion
- Limit calculation
- Does the complex conjugate of an integral equal the integral of the conjugate?
- Assume that $ f ∈ L()$ and $\int x^nf(x)dx=0$ for $n=0,1,2…$.
- How is the Taylor expansion for $f(x + h)$ derived?
- If $f(x)$ and $(f(2x)-f(x))/x$ have limit $0$ as $x\to 0$, then $f(x)/x\to 0$
- A collection of sequences that cannot all be made to converge
- How to prove that all odd powers of two add one are multiples of three
- An overview of analysis
- How to extend this extension of tetration?
- Chebyshev Polynomials and Primality Testing
- Prove by induction. How do I prove $\sum\limits_{i=0}^n2^i=2^{n+1}-1$ with induction?
- Is there a computer program that does diagram chases?