lower semi-continuous

Adjective

not-comparable of a real-valued function on a topological space

Japanese Meaning

ある位相空間上の実数値関数 f が、任意の実数 c に対して f⁻¹((−∞, c])（すなわち、関数値が c 以下となる点全体の集合）が閉集合となるとき、その関数は「下半連続」であると言う。

To guarantee the existence of a minimizer, we assume the energy functional is lower semi-continuous on the topological space.

最小値をとる元が存在することを保証するために、位相空間上でエネルギー汎関数が下半連続であると仮定する。

Sense（1）