5
$\begingroup$

Consider a function $f : \mathcal X \times \mathcal Y \mapsto \mathbb R$. I want to define $g_x(y) = f(x,y) : \mathcal Y \mapsto \mathbb R$. I want to say that

$g_x$ is a ___ of function $f$.

What is the appropriate word for _____

2 Answers 2

8

I've seen your $g_x$ called the $x$-section of $f$. E.g. Folland's Real Analysis, section 2.5.

Edit: Another notation that's often useful is to write $f(x, \cdot)$ instead of $g_x$.

  • 0
    Thanks. I have been using your latter suggestion $f(x, \cdot)$ so far, but it gets unwieldy to use that every time. The term $x$-section sounds much better. I will check the exact definition in Folland's book.2010-10-28
6

This is sometimes called currying. It is closely related to the notion of an exponential object. But you don't really need to use either of these terms to perform this construction.

Edit: Ah, I was assuming you were varying $x$. If $x$ is fixed, you might want to call $g_x$ a restriction of $f$.

  • 0
    Thanks. In what I am looking at $x$ does vary, so currying is the right notion. However, I am afraid of going to category theory (a fearsome beast for the intended audience) for something this elementary2010-10-28
  • 0
    @Random User: It's also a widely used operation in functional programming in computer science -- but I don't know if that would be familiar to your intended audience either.2010-10-28