3
$\begingroup$

I have seen this symbol in the formulation of this question. There, it is said:

Let $f: X \to Y$ be a smooth map with $f \pitchfork Z$.

I was googling, but I haven't found any answers.

$\endgroup$
  • 1
    $\begingroup$ It is a terrifying symbol. It looks like the wand of Satan. :D $\endgroup$ – mrs Sep 22 '13 at 13:33
6
$\begingroup$

It means transversality. Spesifically, that the image of $f$ is transverse to $Z$. See http://en.wikipedia.org/wiki/Transversality_%28mathematics%29

Two submanifolds $U$ and $V$ of a manifold $M$ are called transversal at $x\in Z$ if $$T_xU+T_xV=T_xM$$ and simply transversal if they are transversal at all intersection points. Note that the sum is not direct. We identify $T_xU$ and $T_xV$ by the appropriate subspaces of $T_xM$.

$\endgroup$
  • $\begingroup$ 'Transversal' is a noun; 'transverse' is the corresponding adjective. $\endgroup$ – anomaly Aug 12 '15 at 20:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.