Skip to main content
added 3 characters in body
Source Link
KP Hart
  • 11.4k
  • 38
  • 48

This characterizes normality. That it implies normality was observed above by Remy. Conversely

Conversely, assume $f$ vanishes on $A\cap B$. Define $h:A\cup B\to\mathbb{R}$ by $h(x)=f(x)$ if $x\in A$ and $h(x)=0$ if $x\in B$. By the Tieze-Urysohn theorem $h$ has a continuous extension $H:X\to\mathbb{R}$. That extension belongs to $J_B$. But then $G=f-H$ belongs to $J_A$ because $f(x)=H(x)$ on $A$. We have $f=G+H$.

This characterizes normality. That it implies normality was observed above by Remy. Conversely assume $f$ vanishes on $A\cap B$. Define $h:A\cup B\to\mathbb{R}$ by $h(x)=f(x)$ if $x\in A$ and $h(x)=0$ if $x\in B$. By the Tieze-Urysohn theorem $h$ has a continuous extension $H:X\to\mathbb{R}$. That extension belongs to $J_B$. But then $G=f-H$ belongs to $J_A$ because $f(x)=H(x)$ on $A$. We have $f=G+H$.

This characterizes normality. That it implies normality was observed above by Remy.

Conversely, assume $f$ vanishes on $A\cap B$. Define $h:A\cup B\to\mathbb{R}$ by $h(x)=f(x)$ if $x\in A$ and $h(x)=0$ if $x\in B$. By the Tieze-Urysohn theorem $h$ has a continuous extension $H:X\to\mathbb{R}$. That extension belongs to $J_B$. But then $G=f-H$ belongs to $J_A$ because $f(x)=H(x)$ on $A$. We have $f=G+H$.

Source Link
KP Hart
  • 11.4k
  • 38
  • 48

This characterizes normality. That it implies normality was observed above by Remy. Conversely assume $f$ vanishes on $A\cap B$. Define $h:A\cup B\to\mathbb{R}$ by $h(x)=f(x)$ if $x\in A$ and $h(x)=0$ if $x\in B$. By the Tieze-Urysohn theorem $h$ has a continuous extension $H:X\to\mathbb{R}$. That extension belongs to $J_B$. But then $G=f-H$ belongs to $J_A$ because $f(x)=H(x)$ on $A$. We have $f=G+H$.