Skip to main content
removed capitals from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Lower Semisemi-Continuitycontinuity of Lengthlength-Dependant Functionaldependent functional

Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Lower Semi-Continuity of Length-Dependant Functional

Let $f:\mathbb{R}\rightarrow [0,\infty]$ be a lower semi-continuous function and define the functional $$ \begin{aligned} F_f:&\ell^1 \rightarrow [0,\infty]\\ (x_n)_{n=0}^{\infty} &\to \sum_{n=0}^{N((x_n)_{n=0}^{\infty})} f(x_n), \end{aligned} $$ where $N\left((x_n)_{n=0}^{\infty}\right)=\inf\left\{ N_0\in \mathbb{N}:\, \forall n \geq N_0,\, x_{n} =0 \right\}$. Then is $F_f$ lower semi-continuous?