# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMay 26th 2017

created inner product of vector bundles with the construction over paracompact Hausdorff spaces

1. I think we should change $E\oplus_X E$ to $E\times_X E$ and $E_x\oplus E_x$ to $E_x\times E_x$. In my mind $V\oplus V$ is a vector space whereas $V\times V$ is a just set. Writing $E_x\oplus E_x\to\mathbb{R}$ makes me think that the map is linear, whereas $E_x\times E_x\to\mathbb{R}$ would just be a function. This is how it’s done on the page “inner product space”, it uses $\times$ rather than $\oplus$.

• CommentRowNumber3.
• CommentAuthorDmitri Pavlov
• CommentTimeMay 26th 2017

Wouldn’t it be better to simply use ⊗?

• CommentRowNumber4.
• CommentAuthorTodd_Trimble
• CommentTimeMay 26th 2017

Well, you definitely don’t want to say “vector bundle map $E \oplus_X E \to X \times \mathbb{R}$”, because that’s just wrong. I’d think it best to follow Dmitri’s advice, and then break it down into bilinear maps if that seems too high-falutin’.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeMay 26th 2017

Woops, sorry. My mind was still on the entry on direct sum of vector bundles, it seems. Fixed now.

• CommentRowNumber6.
• CommentAuthorDavidRoberts
• CommentTimeMay 26th 2017

Also, it’s not an inner product of vector bundles, rather on vector bundles. I was expecting some sort of categorified thing $Vect(X)\times Vect(X) \to$???

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeMay 26th 2017

Good point, I have changed “of” to “on”.