Skip to main content
added 78 characters in body
Source Link
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127

One sensible way of generalizing continuity to set-valued functions (from $X$ to subsets of $Y$) is to require the graph of the function to be closed in the product $X\times Y$. This would be equivalent to the continuity of the function if $Y$ is compact. Thus, the Heaviside function is not continuous because one of the points 0 or 1 on the $y$-axis is not in the graph, but if one redefines it to take both values at 0, the graph becomes closed subset of the plane. See http://en.wikipedia.org/wiki/Closed_graph_theorem for a related (but different) notion.

One sensible way of generalizing continuity to set-valued functions (from $X$ to subsets of $Y$) is to require the graph of the function to be closed in the product $X\times Y$. Thus, the Heaviside function is not continuous because one of the points 0 or 1 on the $y$-axis is not in the graph, but if one redefines it to take both values at 0, the graph becomes closed subset of the plane. See http://en.wikipedia.org/wiki/Closed_graph_theorem for a related (but different) notion.

One sensible way of generalizing continuity to set-valued functions (from $X$ to subsets of $Y$) is to require the graph of the function to be closed in the product $X\times Y$. This would be equivalent to the continuity of the function if $Y$ is compact. Thus, the Heaviside function is not continuous because one of the points 0 or 1 on the $y$-axis is not in the graph, but if one redefines it to take both values at 0, the graph becomes closed subset of the plane. See http://en.wikipedia.org/wiki/Closed_graph_theorem for a related (but different) notion.

Source Link
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127

One sensible way of generalizing continuity to set-valued functions (from $X$ to subsets of $Y$) is to require the graph of the function to be closed in the product $X\times Y$. Thus, the Heaviside function is not continuous because one of the points 0 or 1 on the $y$-axis is not in the graph, but if one redefines it to take both values at 0, the graph becomes closed subset of the plane. See http://en.wikipedia.org/wiki/Closed_graph_theorem for a related (but different) notion.