Mathematics Asked by Fred Akalin on January 7, 2022

This is 11-4(a) in Lee’s "Introduction to Smooth Manifolds":

Let $M$ be a smooth manifold with or without boundary and $p$ be a point of $M$. Let $mathcal{I}_p$ denote the subspace of $C^infty(M)$ consisting of smooth functions that vanish at $p$, and let $mathcal{I}_p^2$ be the subspace of $mathcal{I}_p$ spanned by functions of the form $fg$ for some $f, g in mathcal{I}_p$.

(a) Show that $f in mathcal{I}_p^2$ if and only if in any smooth local coordinates, its first-order Taylor polynomial at $p$ is zero.

The $Rightarrow$ direction is easy enough, but the $Leftarrow$ direction has a complication in that Taylor’s theorem only tells you that $f$ is a finite sum of products of pairs of functions in $C^infty(U)$ for some open $U$ around $p$. How can I extend those functions so that $f$ is a finite sum of products of pairs of functions in $C^infty(M)$?

Concretely,

$$

f(x) = sum_{i,j} c_{ij}(x) (x^i – p^i) (x^j – p^j)

$$

for some smooth functions $c_{ij} colon U to mathbb{R}$. I tried using a smooth bump function to have $c_{ij}(x) (x^i – p^i)$ and $x^j – p^j$ go to $0$ outside of $U$ except for $x^0 – p^0$ which goes to $1$, and then try to extend $c_{00}(x)(x^0 – p^0)$ to be $f$ outside of $U$, but ran into difficulties getting things to equal when the bump function is between $0$ and $1$. It feel like this is the wrong track.

On the other hand, the usual formulation of this problem has $mathcal{I}_p$ be an ideal of $mathcal{O}_p$, the ring of germs of functions at $p$, in which case there’s no need to extend the functions globally. I’m wondering if the $Leftarrow$ direction is even true as stated.

Am I missing something?

(This question was asked before, but the answers only work in a single chart.)

You only need a single chart.

By standard construction, there is a smooth function $varphicolon Mto[0,1]$ which is supported on a coordinate neighbourhood of $p$, $varphi(x)=1$ for all $x$ near $p$, namely, doing the construction on a coordinate neighbourhood of $p$ and extend by 0 outside that neighbourhood. You can write $$ f=varphi f+(1-varphi)f. $$ The $(1-varphi)f$ is already in $mathcal{I}_p^2$ since $1-varphi$ and $f$ both vanish at $p$ by supposition. The function $varphi f$ is identical to $f$ near $p$, so you reduce to the case of $mathbb{R}^n$.

Answered by user10354138 on January 7, 2022

1 Asked on December 5, 2021 by mr-n

hypergeometric function oeis power series reference request sequences and series

3 Asked on December 5, 2021

1 Asked on December 5, 2021 by wei-xia

2 Asked on December 5, 2021 by yunfei

1 Asked on December 5, 2021 by nothingone

1 Asked on December 5, 2021

1 Asked on December 5, 2021 by kevin-lu

1 Asked on December 5, 2021

2 Asked on December 5, 2021 by user117375

1 Asked on December 5, 2021

0 Asked on December 5, 2021

1 Asked on December 5, 2021 by bigbear

1 Asked on December 3, 2021 by mathguy1345

2 Asked on December 3, 2021 by shad0w7

2 Asked on December 3, 2021 by naren-manoj

eigenvalues eigenvectors linear algebra matrices perturbation theory symmetric matrices

1 Asked on December 3, 2021 by kevinkayaks

0 Asked on December 3, 2021 by kyary

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- haakon.io on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP