the difference between assembly programming and topology



do you know what is the difference between assembly programming and
the topology? for me
it is only that for doing programs,
one never has to make errors

DEF
|.|:XxX->R is a norm in X <=>
1)xeX => ( |x|==0 <=> x=0 )
2)xeX /\ teR => |tx|=|t||x|
3)x,yeX => |x+y|<=|x|+|y|


Proposition
|.|:XxX->R is a norm in X => (AxeX => |x|>=0)
DIM
xeX => (0=|0|=|x+(-x)|<=|x|+|-x|=|x|+|-1||x|=2|x|) =>
=> 2|x|>=0 => |x|>0

xeX => |x|>0
.