Questions tagged [bilinear-form]
A bilinear form over an $F$-vector space $V$ is a mapping $B:V\times V\to F$ that is linear in each of its arguments, when the other argument is held fixed.
1,029
questions
0
votes
0
answers
29
views
Question about $H^1$ norm
The $H^1$ norm is given by:
$$(u,v)_{H^1}=\int_0^1u′v′+\int_0^1uv$$
But in a problem that I'm solving, I have a constant in the second integral:
$$|a(u,v)|\le|k|||u'||_{L^2}||v||_{L^2}+\Bigg|\int_0^1u'...
- 11
0
votes
1
answer
25
views
Is a scalar product positive definite on a unique maximal subspace?
Let $V$ be an $n$-dimensional real vector space and
\begin{equation}
\eta\colon V\times V\to\mathbb R
\end{equation}
a nondegenerate symmetric bilinear form. Sylvester’s Law of Inertia allows us to ...
- 1,752
1
vote
0
answers
31
views
Show that is continuous and coercive
I have the following boundary value problem, where $k, q \in \mathbb{R}$ are given.
$$-u'' + ku' +qu = f,\qquad u(0)=u(1)= 0$$
What I want to prove is that the bilinear form, associated with this BVP,...
- 11
-1
votes
0
answers
22
views
Calculating the signature of two hermitian forms [closed]
I have a simple question regarding the calculation of the signature of two hermitian forms.
$L:\mathbb{C^4}\times\mathbb{C^4}\rightarrow \mathbb{C}$ with $L\bigg( \begin {pmatrix} x_1\\y_1\\z_1\\t_1\...
- 488
0
votes
0
answers
43
views
Problem on finding Intersection form of compact,orientable $4-$manifolds .
$\mathbf {The \ Problem \ is}:$ Let $M$ be an $\mathbb{F}$-oriented manifold of dimension $2 n$ for a field $\mathbb{F}$. Consider the non-singular bilinear form $H^{n}(M ; \mathbb{F}) \otimes H^{n}(M ...
- 1,841
0
votes
0
answers
32
views
A direct sum of Symmetric and Alternating Bilinearforms
Show that the vector space $\text{Bil}(V)$ of all bilinear forms on $V$ can be decomposed in to the direct sum of $\text{Bil}(V)_{\text{sym}} \bigoplus \text{Bil}(V)_{\text{alt}}$, where $\text{Bil}(V)...
- 488
0
votes
0
answers
29
views
Image of a bilinear form
Say that a commutative ring with one $A$ has Property (P) if the image $\beta(M\times N)\subset A$ of any bilinear form $\beta:M\times N\to A$ is an ideal of $A$. Here $M$ and $N$ are two $A$-modules. ...
- 18.7k
0
votes
1
answer
22
views
Find the signature of a bilinear form given by a matrix
I'm trying to complete the bilinear form given by the matrix
$$M=\left(\begin{array}{ccc}1 & -1 & 2 \\ -1 & 3 & 1 \\ 2 & 1 & 1\end{array}\right)$$ into squares to find the ...
- 347
1
vote
0
answers
37
views
Non-singular Conics are equivalent to some projective line.
The proof begins on pg.22.
I am having trouble understanding why ${B|}_{W_y} \not\equiv 0$.
Since I couldn't understand this part of the proof (on pg. 24 of the slides), I was trying to show it ...
- 1,248
0
votes
0
answers
17
views
Pairing on Differentials
Let $X$ be a (smooth, projective) curve of genus $g$ defined over a number field $K$, and write $\Omega^{1}$ for the $K$-vector space of holomorphic differentials.
The motivation for my question comes ...
- 2,599
0
votes
0
answers
30
views
Restriction of a quadratic form with signature $(1, n-1)$.
I want to prove the following fact. Let $f$ be a nondegenerate symmetric bilinear function on a vector space $V$ with positive index of inertia equal to 1. And let $f(x,x) > 0$ for some vector $x \...
- 476
2
votes
0
answers
77
views
Definiteness of Matrix over Torus
I am interested in characterizing the definiteness of the following bilinear form over the torus:
$$\langle x, A x \rangle$$
$$A = A^T, A \in \mathbb{R}^{2n \times 2n}$$
Where the inner product ...
- 52
1
vote
0
answers
56
views
Determine whether smooth symmetric bilinear form is definite over the trivial normal bundle of the oblique manifold
Given a smooth symmetric bilinear form over the trivial normal bundle of the oblique manifold $\mathcal{OB}(n,m)$ imbedded in $\mathbb{R}^{n \times m}$ is there an efficient way to determine whether ...
- 52
0
votes
1
answer
38
views
How to define this function in terms of tensor products
This problem was left as an exercise in algebra class of mine but I am not able to make any progress. I have been following book by atiyah and macdonald and I must say I had difficulty in ...
- 57
3
votes
0
answers
98
views
Linear algebra over finite fields
Let $\mathbb{F}_p^3$ be a $3$-dimensional vector space over $\mathbb{F}_p$ with $p$ odd. For any $\mathbf{x}\in \mathbb{F}_p^3$ define its "norm" $\lVert \mathbf{x}\rVert=x_1^2+x_2^2+x_3^2,$ ...
- 14.7k
0
votes
0
answers
20
views
Checking my understanding of Einstein summation convention
I have a limited understanding of the convention so I'd like to check. Given a (0,2) tensor or bilinear map $(e_{i}\otimes e_{j})=\zeta_{ij}$ with $i,j=1,2,...,n$, and two covectors $\Omega^{1}=\sum^{...
0
votes
0
answers
25
views
Is there a non-degenerate bilinear form on $R^N$ with a one dimensional kernel?
Let $M: \mathbb{R}^n\times \mathbb{R}^n \rightarrow \mathbb{R}$, $n >= 3$ be a non-degenerate bilinear form. Are there $M$, s.t. $dim(ker(M)) = 1$? What can we say in general about the dimension of ...
- 23
2
votes
1
answer
60
views
Double orthogonal complement of a finite dimensional subspace w.r.t. a nondegenerate symmetric bilinear form on an infinite dimensional space
Let $U$ be a finite-dimensional subspace of an infinite-dimensional space $V$ equipped with a nondegenerate symmetric bilinear form $\phi$. Is it necessarily true that ${(U^{\perp})}^{\perp}=U$?
If ...
- 365
0
votes
0
answers
45
views
Show that there exists a unique solution
Help me to understanding the Lax-Milgram Theorem.
I've shown that there exits a bilinear form
$$ a : H_0^1([0,1]) \times H_0^1([0,1]) \to \mathbb{R}, (u,v) \mapsto \int_0^1 ( u'v' - K uv), \quad \text{...
- 347
0
votes
1
answer
59
views
How to prove that $B$ is non-degenerate? does the question has typo?
Here is the question I want to prove:
Let $V = M_2(\mathbb{R})$ be the space of all $2\times 2$ matrices over $\mathbb{R}.$ Show that $$B(X,Y) = det(X+Y) - det(X) - det(Y)$$
Where $X,Y \in V,$ is a ...
- 1,187
0
votes
1
answer
44
views
Artin's theorem on Galois extension and related question on bilinear maps
Theorem: (Lang's Algebra, p. 264) Let $E$ be any field, $G$ be a finite group of automorphisms of $E$, and $F:=E^G$ be fixed field of $G$:
$$
E^G=\{\alpha\in E : \sigma(\alpha)=\alpha \forall \sigma\...
- 2,248
3
votes
1
answer
36
views
Continuity of a bilinear form on $H^1(0,2)$
Problem Statement: Let $H := H^1(0,2) := W^{1,2}(0,2)$ and define the function $B : H^2 \to \mathbb{R}$ by
$$B(f,g) := \int_0^2\!\! f'g' + \int_0^1\!\! f \int_0^1\!\! g$$
Then $B$ is a bilinear form; ...
- 29.5k
0
votes
0
answers
16
views
If $f$ and $g$ two non-degenerate quadratic forms If $\delta(f)=\delta(g)$ is square in $\mathbb{F}_q$ then $f$ and $g$ are equivalent.
Let $f$ and $g$ two non-degenerate quadratic forms of a vecor space $E$ over a finite field $\mathbb{F}_q$ we note by $\delta(q)$ the discriminant of a quadratic form $q$. I want to show that if $\...
- 1,203
-1
votes
1
answer
63
views
A question about bilinear forms
Let $\phi$ be a bilinear form on a vector space $V$. Let $U$ be a vector subspace of $V$. Suppose that $\phi$ and $\phi_{|U\times U}$ are both non-degenerate. Prove that if $U$ is finite-dimensional, ...
- 27
0
votes
0
answers
28
views
convert biconvex functions to convex functions
Bilinear functions on a cartesian product of vector spaces can be converted to linear functions on the tensor product of the two spaces.
In the same spirit, is there a way to convert biconvex ...
- 5,533
2
votes
0
answers
147
views
About another proof of Witt's theorem
This is a proof of Witt's cancellation theorem from Uzi Vishne's book (I wrote it in my words (in english) so if there is anything that does not seem accurate please tell me).
Witt's cancellation ...
- 770
0
votes
1
answer
37
views
Let V a real vector space of finite dimension, with a positive definite inner product and let A a symmetric operator in this space
I want to know how can I generalize this excersice.
Let V a real vector space of finite dimension, with a positive definite inner product and let A a symmetric operator in this space
a)We have $g(v,w)...
- 121
1
vote
0
answers
50
views
Generalization of the Riesz representation theorem
Any finite dimensional vector space V endowed with nondegenerate bilinear form
can be canonically identified with its dual space.
I wonder if I can find similar identification for infinite dimensional ...
- 11
2
votes
0
answers
41
views
Positive definite Hermitian form with same imaginary part
Consider a complex vector space V,
if I decompose a Postive definite Hermitian form (,) into real and imaginary part, i get
$$(v,w)=\lbrace v,w \rbrace +[v,w]i$$
How can I show that whenever two such ...
0
votes
1
answer
71
views
Why supposing that $\operatorname{char}(F) \neq 2$?
I have a question regarding to part$(b)$ in the problem below:
"
Let $V$ be a finite-dimensional vector space over the field $F,$ and let $B$ be a bilinear form on V.
$(b)$ Suppose $\operatorname{...
- 1,187
0
votes
1
answer
57
views
Prove that if $B$ is symmetric then its matrix is symmetric.
Let $V$ be a finite-dimensional vector space over the field $F,$ and let $B$ be a bilinear form on V.
$(a)$ $B$ is said to be symmetric if $B(v_1, v_2) = B(v_2, v_1)$ for all $v_1, v_2 \in V.$ Prove ...
- 1,187
0
votes
1
answer
46
views
Proof about Garding's Inequality for a bilinear form
Considering the following bilinear form :
$$a(\phi,\psi)=\intop_{\varOmega}\left(\sum_{g=1}^{G}D_{g}\nabla\phi_{g}\cdot\nabla\psi_{g}+\sum_{g,h=1}^{G}\varSigma_{gh}\phi_{g}\psi_{h}\right)\,\mathord{d}\...
- 43
1
vote
2
answers
42
views
When will a complex representation of a semi-simple lie group, have an invariant hermitian form?
I know for compact groups, there is always one, and it can be made positive/negative definite. Does this remain true for non-compact groups, allowing for indefinite signature? I cannot think of an ...
- 434
2
votes
1
answer
88
views
All invariant forms of (a representation of) a semi-simple lie group
Take for example, $SU(2)$. There are two well known invariant forms in the fundamental representation, namely (by the Frobenius-Schur indicator) a skew-symmetric bi-linear form:
$$
\varepsilon = \left(...
- 434
0
votes
1
answer
23
views
SU(2) invariant structures and the Frobenius Schur indicator
For $SU(2)$, the fundamental representation is a quaternionic representation. Which means there is a preserved skew symmetric form, written as a matrix:
$$
\varepsilon = \left(\begin{array}{cc} 0 &...
- 434
1
vote
0
answers
125
views
Is there a name for this 'splitting' of an orthogonal structure into unitary and symplectic structures?
Suppose we have a (non-trivial) representation of some special orthogonal group $SO(p,q)$ over a real vector space $V$, I.e. the action of elements of $SO$ leave invariant a non-degenerate symmetric ...
- 434
6
votes
1
answer
99
views
The trace form is the unique non-deg. symmetric bilinear form such that ...
Let $L \vert K$ be a field extension. Recall the various definitions of the trace map $Tr_{L\vert K}:L\mapsto K$ (via matrices, minimal polynomials, field embeddings).
With that, one gets the trace ...
- 20.3k
1
vote
0
answers
35
views
Isomorphism between a vectorial space and its dual using bilinear forms.
If $g$ is a non degenerate symmetric bilinear form over a v.s. $V$ of finite dimension I want to find an isomorphism between $V$ and its dual in the more natural way possible.
I thought about defining ...
- 303
1
vote
0
answers
45
views
Lattice embeddings in $\mathbb{Z}^n$
I have a certain class of lattices, and given $\Lambda$ in this class I would like to find obstructions to the existence of a finite-index lattice embedding $\Lambda \rightarrow \mathbb{Z}^n$ for some ...
- 440
2
votes
1
answer
32
views
Number of solutions in a finite field corresponding to one-dimensional isotropic subspaces
Let $q$ be a prime power and define the bilinear form
$$((x_1, x_2, x_3),(y_1, y_2, y_3)) \mapsto x_1 y_3^q + x_2 y_2^q +x_3 y_1^q$$ on the three-dimensional vector space $V$ over the finite field $F_{...
- 458
1
vote
2
answers
72
views
What allows a bilinear form (output: field element) to also work as a linear map (output: vector)?
A bilinear form $B: V × V → K$, when the inputs are 2 vectors, has 1 element of their field as output.
A linear map $L: V → W$, when the input is 1 vector, has 1 vector as output.
I have seen cases ...
- 15
4
votes
1
answer
49
views
Is the bilinear map on a tensor product nondegenerate?
In this question, all rings are unital commutative, and all modules are unital (i.e., $1\cdot a=a$ for all module element $a$).
Definition of Inner Products
Let $M$ be an $R$-module. An inner product (...
- 1,257
1
vote
1
answer
29
views
The cube length of a vector
The form
$$
{\bf r} \cdot {\bf r} = \left|{\bf r}\right|^2 = \sum_{i,j} r_i r_j {\bf e}_i \cdot {\bf e}_j = \sum_{i,j} r_i r_j \delta_{ij} = \sum_i r_i r_i
$$
is defined via a bilinear form that takes ...
- 71
0
votes
1
answer
65
views
Do all bilinear forms have a signature? [closed]
If yes: starting from any arbitrary bilinear form, what is the algorithm to calculate its signature?
If no: what are the conditions necessary for a bilinear form in order to have a signature? Is there ...
- 15
0
votes
0
answers
20
views
Calculate the basis of a bilineal form with basis change in an euclidean space
I have the following problem:
f is a bilineal form in euclidean space
$$
f\left(\begin{pmatrix}
x_1\\x_2\\x_3
\end{pmatrix},\begin{pmatrix}
y_1\\y_2\\y_3
\end{pmatrix}
\right)
$$ and its matrix ...
0
votes
0
answers
28
views
I need a reference : A non-degenerate symmetric bilinear form on a finite k-dimensional space U over the two element field falls into two types.
Let $\mathbb {F}$ be a field, $U$ be a vector space over $\mathbb{F}$ and
$\varphi$ be a bilinear form over $U$. We recall that this form is
symmetric if $\varphi(x,y) = \varphi(y,x)$ for all $x,y\in ...
2
votes
1
answer
48
views
Is this linear mapping positive definite, symmetric, bilinear?
$V=\mathbb{R}^2$ and let be$s:V \times V \rightarrow \mathbb{R^2} $ and $ s(x,y)=2x_1y_2+2x_2y_2$
Well I found out that the matrix is:
$$\begin{pmatrix}
0 & 2\\
0 & 2
\end{pmatrix}$$
i) It's ...
- 993
3
votes
1
answer
122
views
Is nondegeneracy of a bilinear form equivalent for both slots?
According to Wikipedia, a bilinear form $B$ on a (possibly infinite-dimensional) vector space $V$ is defined as nondegenerate if the map
$$B^\flat:V\ni x\mapsto B(x,\cdot)\in V^*$$
is an isomorphism ...
- 4,879
0
votes
1
answer
43
views
Completing squares
We want to find when a quadratic form depending on a parameter $\alpha$ on $\mathbb{R}^3$ is an inner product. It is quite obvious and quick to deal with the problem by using Sylvester, BUT we want to ...
- 870
1
vote
1
answer
32
views
Are "standard" and "Hermitian" quadratic forms sub-cases of the same object?
Let $V$ be a vector space over a field $k$. The definition of quadratic form on nLab is a map $q:V\to k$ such that $q(tv)=t^2q(v)$ for all $t\in k,v\in V$, and such that the map $(v,w)\mapsto q(v+w)-q(...
- 4,879