2
$\begingroup$

I am wondering how to denote something like this:

I have a function mapping two sets to a set of vectors and am currently denoting it as so:

$p: [F, \Sigma] \to S $

I am wondering if this is correct, and if not, what is?

I am a computer science student and did a year of mathematics at degree level, but that was a long time ago and I have forgotten a lot of the basics.

If I am wrong I would appreciate a semi in depth answer as to why.

1 Answers 1

1

A function mapping two arguments from $A$ and $B$ respectively to $C$ is denoted

$f:A\times B\to C,$

where $\times$ here denotes the Cartesian product.

  • 0
    @Clintonio: Double dollar signs. `$f:A\times B\to C.$` becomes $f:A\times B\to C.$2012-04-12