x,y在什么范围内讨论?我就当成拓扑群吧~应该足够广泛了.
按拓扑里的连续定义——开集的原像是开集,容易证明连续函数的复合函数仍然连续.
h(x,y)=u(x,y^(-1))=u(x,v(y)). 由于u,v都连续,故h连续.还有充分性呢。抱歉，没看清……假设h(x,y)连续，连续函数的复合函数仍然连续，所以v(x)=h(e,x)连续(e是单位元)，u(x,y)=u(x,v(y))也连续。