How large can the set of discontinuous points of a coordinately continuous function be

continuityfunctionsreal-analysis

I temporarily say function $f(x,y)$ (from $\mathbb{R}^2$ to $\mathbb{R}$) is coordinately continuous (shortly as c.c.) iff it is continuous everywhere regarded as an single-variable function while another coordinate is given.

I am curious about how large the set of uncontinuous (in sense of $\mathbb{R}^2$) points of a c.c. function can be .

It is not hard to see that there are c.c. functions which is not continuous at one point.

For example, $f(x,y)= 1−4(xy/(x^2+y^2))^2$ is not continuous at $(0,0)$, which can be seen from the form of polar coordinate $1 – \sin(2\theta)^2$ except $(0,0)$.

Intuitionly, I think discontinuity while maintaining c.c. property needs a well designed neighbor. Therefore I think the set of discontinuity points is not dense.

It has been proved that such function cannot be discontinuous everywhere: separately continuous functions $f: \mathbb{R}^2 \rightarrow \mathbb{R}$ but nowhere continuous

Best Answer

The set of points of discontinuity can be everywhere dense; in fact, it can be any countable subset of the plane.

Let $D=\{(x_n,y_n):n\in\mathbb N\}$ be a countable subset of $\mathbb R^2$.

You can easily contruct a function $h:\mathbb R^2\to[0,1]$ which is discontinuous at $(0,0)$ and continuous everywhere else, and has the property that its restriction to any straight line in the plane is continuous; for example, the function $$h(x,y)=\begin{cases} \quad\ \ 0\quad\quad\quad\text{ if }\quad y\le2\pi x^2,\\ \sin(y/x^2)\quad\text{ if }\quad2\pi x^2\lt y\lt3\pi x^2,\\ \quad\ \ 0\quad\quad\quad\text{ if }\quad y\ge3\pi x^2.\\ \end{cases}$$

For each $n\in\mathbb N$ the function $h_n(x,y)=h(x-x_n,y-y_n)$ is discontinuous at $(x_n,y_n)$ and continuous everywhere else, and is continuous on every straight line.

Since the series converges uniformly, the function $$f(x,y)=\sum_{n=1}^\infty\frac{h_n(x,y)}{2^n}$$ is discontinuous at each point of $D$ and continuous everywhere else, and is continuous on every straight line in the plane. In particular, $f(x,y)$ is continuous in $x$ for each fixed value of $y$, and continuous in $y$ for each fixed value of $x$.