- #1
SmithWillSuffice
- 4
- 0
Short question: Can anyone provide me with a nice synopsis of how to go about proving the "existence" of some object as often requested in math questions such as, "prove that X really exists and is unique"? In other owrds, in general, when presented with an "existence" question, is there a nice way to interpret such a question, and set about trying to answer it?
Long form of question:
I can handle the uniqueness part usually (or at least I know what I need to prove). And for many problems existence is fairly simple to ascertain, but I got stuck for example trying to understand how to demonstrate existence of a pullback map of a 1-form. This bugged me because it exposed to my mind a general lack of education about how to attack general "existence" type questions---i.e., when it's not obvious that you have an equation with an unknown and a putative solution that can be just plugged into the original equation. When you have an existence question that is not in the form of an equation in an unknown and a conjectured solution, then how do you go about establishing existence?
Specific example:
Taken from "Gauge Fields, Knots and Gravity", Baez and Munian.
(Exercise 32.): Define a pullback of a 1-form $(\phi^\ast $ by
\[ \label{eq1}
(\phi^\ast\omega)_p = \phi^\ast (\omega_q)
\]
where $q=\phi(p)$, and $\omega_q$ is an element of the cotangent space on a manifold $N$ say and $\phi : M \rightarrow N$ is a map.
Now we are given that for a tangent space vector $v$ from $T_pM$, and $\nu$ from $T_q N$ a cotangent vector, then
\[ (\phi^\ast \nu) (v) = \nu(\phi^\ast v) \]
again $q=\phi(p)$. (So $\p\in M$ is mapped by $\phi$ to $q\in N$.)
So locally we have a pullback of a cotangent vector. The Exercise is to prove that the former expression (\ref{eq1}) for 1-forms is a global extension of the local pullback. Thus,
"Exercise 32. Show that the pullback of 1-forms defined by the above formula (\ref{eq1}) really exists and is unique."
I came up with an argument to answer this question, but I cannot fathom if it is correct or is exactly what is intended by an "existence" proof.
I somewhat naively just argued that at any $p\in M$ the map $\phi^\ast\omega_q$ can act on a tangent vector $v_p$ (so $v\in T_pM$) by the local pullback to $\omega(\phi^\ast v_p)$. But $v_p$ could be a local value of a vector field $v$ at the point $p$. It's pullback $\phi^\ast v$ is then by definition a vectr field on $N$, in other words the pullback of the tangent vecotr $v_p$ is a tangent vector on $N$. This, I believe, establishes that the formula
\[ (\phi^\ast\omega)_p = \phi^\ast (\omega_q) \]
is well-defined, i.e., it "exists"! Or have I missed something in this justification?
My problem is this: I cannot tell if I have really demonstrated existence of the pullback of 1-forms. The only other existence theorems I've come across in physics are usually those involving solutions to equations defined in terms of unknowns (or DE's where a solving function is given and one can check it exists wherever it is supposed to), whereas above we have what looks more like an equality or definition, not an equation in search of a solution variable.
But after completing my agument I seemed none the wiser about what I accomplished. I thus thought I'd write to physics forums here to see if anyone had a general perspective to offer on how to interpret and set about demonstrating mathematical existence type questions.
ASIDE: As for uniqueness of the pullnack for 1-forms, supposing two pullbacks of the same 1-form $\omega$ on $N$ say, $phi^\ast \omega$ and $\psi^\ast \omega$ yield the same 1-form on $M$, then I can show that the two associated maps $\phi$ and $\psi$ are equal, thus I conclude that the pullbacks are equivalent, which proves uniqueness.
Long form of question:
I can handle the uniqueness part usually (or at least I know what I need to prove). And for many problems existence is fairly simple to ascertain, but I got stuck for example trying to understand how to demonstrate existence of a pullback map of a 1-form. This bugged me because it exposed to my mind a general lack of education about how to attack general "existence" type questions---i.e., when it's not obvious that you have an equation with an unknown and a putative solution that can be just plugged into the original equation. When you have an existence question that is not in the form of an equation in an unknown and a conjectured solution, then how do you go about establishing existence?
Specific example:
Taken from "Gauge Fields, Knots and Gravity", Baez and Munian.
(Exercise 32.): Define a pullback of a 1-form $(\phi^\ast $ by
\[ \label{eq1}
(\phi^\ast\omega)_p = \phi^\ast (\omega_q)
\]
where $q=\phi(p)$, and $\omega_q$ is an element of the cotangent space on a manifold $N$ say and $\phi : M \rightarrow N$ is a map.
Now we are given that for a tangent space vector $v$ from $T_pM$, and $\nu$ from $T_q N$ a cotangent vector, then
\[ (\phi^\ast \nu) (v) = \nu(\phi^\ast v) \]
again $q=\phi(p)$. (So $\p\in M$ is mapped by $\phi$ to $q\in N$.)
So locally we have a pullback of a cotangent vector. The Exercise is to prove that the former expression (\ref{eq1}) for 1-forms is a global extension of the local pullback. Thus,
"Exercise 32. Show that the pullback of 1-forms defined by the above formula (\ref{eq1}) really exists and is unique."
I came up with an argument to answer this question, but I cannot fathom if it is correct or is exactly what is intended by an "existence" proof.
I somewhat naively just argued that at any $p\in M$ the map $\phi^\ast\omega_q$ can act on a tangent vector $v_p$ (so $v\in T_pM$) by the local pullback to $\omega(\phi^\ast v_p)$. But $v_p$ could be a local value of a vector field $v$ at the point $p$. It's pullback $\phi^\ast v$ is then by definition a vectr field on $N$, in other words the pullback of the tangent vecotr $v_p$ is a tangent vector on $N$. This, I believe, establishes that the formula
\[ (\phi^\ast\omega)_p = \phi^\ast (\omega_q) \]
is well-defined, i.e., it "exists"! Or have I missed something in this justification?
My problem is this: I cannot tell if I have really demonstrated existence of the pullback of 1-forms. The only other existence theorems I've come across in physics are usually those involving solutions to equations defined in terms of unknowns (or DE's where a solving function is given and one can check it exists wherever it is supposed to), whereas above we have what looks more like an equality or definition, not an equation in search of a solution variable.
But after completing my agument I seemed none the wiser about what I accomplished. I thus thought I'd write to physics forums here to see if anyone had a general perspective to offer on how to interpret and set about demonstrating mathematical existence type questions.
ASIDE: As for uniqueness of the pullnack for 1-forms, supposing two pullbacks of the same 1-form $\omega$ on $N$ say, $phi^\ast \omega$ and $\psi^\ast \omega$ yield the same 1-form on $M$, then I can show that the two associated maps $\phi$ and $\psi$ are equal, thus I conclude that the pullbacks are equivalent, which proves uniqueness.