logo

線分条件

線分条件

定義1

ΩRn\Omega \subset \mathbb{R}^{n}開集合とする。全てのxbdryΩx \in \mathrm{bdry}\Omegaに対して、以下の条件を満たすxxの近傍UxU_{x}とゼロベクトルではないyxy_{x}が存在する場合、Ω\Omegaは線分条件segment conditionを満たすという。

zΩUx    z+tyxΩ,0<t<1 z\in \overline{\Omega}\cap U_{x} \quad \implies \quad z+ty_{x} \in \Omega, 0 \lt t \lt 1


  1. ロバート・A・アダムスとジョン・J・F・フートニエ, Sobolev Space (第2版, 2003), p82 ↩︎