# Given topological spaces X_1,X_2,…,X_n,Y, consider a multivariable function f:∏^n_(i=1) Xi->Y such that for any (x_1,x_2,…,x_n) in ∏^n_(i=1)X_i, the functions in the family {x->f(x_1,…,x_(i−1),x,x_(i+1),…,x_n)}^n_(i=1) are all continuous. Must f itself be continuous?

Given topological spaces ${X}_{1},{X}_{2},\dots ,{X}_{n},Y$, consider a multivariable function $f:\prod _{i=1}^{n}{X}_{i}\to Y$ such that for any $\left({x}_{1},{x}_{2},\dots ,{x}_{n}\right)\in \prod _{i=1}^{n}{X}_{i}$, the functions in the family $\left\{x↦f\left({x}_{1},\dots ,{x}_{i-1},x,{x}_{i+1},\dots ,{x}_{n}\right){\right\}}_{i=1}^{n}$ are all continuous. Must $f$ itself be continuous?
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

luluna81mxmbk
The answer is "Yes" if you give the product $\prod {X}_{i}$ the sliceю
The answer is "No" if you give the product $\prod {X}_{i}$ the usual product topology. In this case, $f$ is "separately continuous" but not necessarily continuous. The standard example is the function $f:\mathbb{R}×\mathbb{R}\to \mathbb{R}$ defined by $f\left(x,y\right)=\frac{2xy}{{x}^{2}+{y}^{2}}$ for $\left(x,y\right)\ne \left(0,0\right)$ and $f\left(0,0\right)=\left(0,0\right)$. This function is continuous everywhere except $\left(0,0\right)$ but is continuous in each variable.
###### Did you like this example?

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee