I don't even think you need to go this far. Since it's differential topology, everything is defined locally anyway, so there must just be environments of nonzer

I don't even think you need to go this far. Since it's differential topology, everything is defined locally anyway, so there must just be environments of nonzero size around every point that don't intersect themselves.