I am self-teaching myself the basics of functional analysis (e.g. topological vector spaces), and frankly I am starting to get a migraine sorting out/organizing in my head all of the ...
Is there any standard name for this concept that is weaker than local one-to-one-ness? In some open neighborhood of $x_0$ there is no point $x\ne x_0$ such that $f(x)=f(x_0)$. Or, if you like: In ...