1
$\begingroup$

In proving $\mathfrak X(U)$ is a $C^{\infty}U$-module, for an open subset $U$ of $\mathbb R^n$ my book defines scalar multiplication of smooth vector fields $U$ by smooth functions on $U$ as

$$[fX]_p := f(p)X_p$$

enter image description here

I could not find a definition for addition. Is it $[X+Y]_p := X_p + Y_p$ ? Otherwise, with what definition do we prove the "Abelian group" part of showing $\mathfrak X(U)$ is a $C^{\infty}U$-module?

My book is An Introduction to Manifolds by Loring W. Tu.

$\endgroup$
2
  • 6
    $\begingroup$ It is pointwise addition, just as you say. $\endgroup$
    – Charlie Frohman
    Jan 26, 2019 at 9:46
  • 1
    $\begingroup$ @CharlieFrohman Thanks! $\endgroup$
    – user636532
    Jan 26, 2019 at 9:46

1 Answer 1

Reset to default
1
$\begingroup$

As Charlie pointed in the comments, it is just your regular pointwise addition: $$(X+Y)_p=X_p+Y_p$$

$\endgroup$
0

You must log in to answer this question.