let n be Element of NAT ; :: thesis: for X being non empty TopSpace
for f1, f2, g being Function of X,(TOP-REAL n) st f1 is continuous & f2 is continuous & ( for p being Point of X holds g . p = (f1 . p) + (f2 . p) ) holds
g is continuous
let X be non empty TopSpace; :: thesis: for f1, f2, g being Function of X,(TOP-REAL n) st f1 is continuous & f2 is continuous & ( for p being Point of X holds g . p = (f1 . p) + (f2 . p) ) holds
g is continuous
let f1, f2, g be Function of X,(TOP-REAL n); :: thesis: ( f1 is continuous & f2 is continuous & ( for p being Point of X holds g . p = (f1 . p) + (f2 . p) ) implies g is continuous )
assume that
A1: f1 is continuous and
A2: f2 is continuous and
A3: for p being Point of X holds g . p = (f1 . p) + (f2 . p) ; :: thesis: g is continuous
consider h being Function of X,(TOP-REAL n) such that
A4: for r being Point of X holds h . r = (f1 . r) + (f2 . r) and
A5: h is continuous by A1, A2, JGRAPH_6:20;
for x being Point of X holds g . x = h . x

proof

let x be Point of X; :: thesis: g . x = h . x
thus g . x = (f1 . x) + (f2 . x) by A3
.= h . x by A4 ; :: thesis: verum

end;

hence g is continuous by A5, FUNCT_2:113; :: thesis: verum