digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Business

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

In mathematics, a bilinear operator is a function combining elements of two vector spaces to yield an element of a third vector space that is linear in each of its arguments. Matrix multiplication is an example.

Definition[edit]

Let V, W and X be three vector spaces over the same base field F. A bilinear map is a function

B : V × WX

such that for any w in W the map

vB(v, w)

is a linear map from V to X, and for any v in V the map

wB(v, w)

is a linear map from W to X.

In other words, if we hold the first entry of the bilinear map fixed, while letting the second entry vary, the result is a linear operator, and similarly if we hold the second entry fixed. Note that if we regard the product V × W as a vector space, then B is not a linear transformation of vector spaces (unless V = 0 or W = 0) because, for example B(2(v,w)) = B(2v,2w) = 2B(v,2w) = 4B(v,w).

If V = W and we have B(v,w) = B(w,v) for all v, w in V, then we say that B is symmetric.

The case where X is the base field F, and we have a bilinear form, is particularly useful (see for example scalar product, inner product and quadratic form).

The definition works without any changes if instead of vector spaces over a field F, we use modules over a commutative ring R. It also can be easily generalized to n-ary functions, where the proper term is multilinear.

For the case of a non-commutative base ring R and a right module MR and a left module RN, we can define a bilinear map B : M × NT, where T is an abelian group, such that for any n in N, mB(m, n) is a group homomorphism, and for any m in M, nB(m, n) is a group homomorphism too, and which also satisfies

B(mt, n) = B(m, tn)

for all m in M, n in N and t in R..

Properties[edit]

A first immediate consequence of the definition is that B(x,y) = 0 whenever x = 0 or y = 0. (This is seen by writing the null vector 0 as 0·0 and moving the scalar 0 "outside", in front of B, by linearity.)

The set L(V,W;X) of all bilinear maps is a linear subspace of the space (viz. vector space, module) of all maps from V×W into X.

A matrix M determines a bilinear map into the real by means of a real bilinear form (v,w) ↦ vMw, then associates of this are taken to the other three possibilities using duality and the musical isomorphism

If V, W, X are finite-dimensional, then so is L(V,W;X). For X = F, i.e. bilinear forms, the dimension of this space is dim V × dim W (while the space L(V×W;F) of linear forms is of dimension dim V + dim W). To see this, choose a basis for V and W; then each bilinear map can be uniquely represented by the matrix B(ei,fj), and vice versa. Now, if X is a space of higher dimension, we obviously have dim L(V,W;X) = dim V × dim W × dim X.

Examples[edit]

  • Matrix multiplication is a bilinear map M(m,n) × M(n,p) → M(m,p).
  • If a vector space V over the real numbers R carries an inner product, then the inner product is a bilinear map V × VR.
  • In general, for a vector space V over a field F, a bilinear form on V is the same as a bilinear map V × VF.
  • If V is a vector space with dual space V*, then the application operator, b(f, v) = f(v) is a bilinear map from V* × V to the base field.
  • Let V and W be vector spaces over the same base field F. If f is a member of V* and g a member of W*, then b(v, w) = f(v)g(w) defines a bilinear map V × WF.
  • The cross product in R3 is a bilinear map R3 × R3R3.
  • Let B : V × WX be a bilinear map, and L : UW be a linear map, then (v, u) ↦ B(v, Lu) is a bilinear map on V × U.
  • The null map, defined by B(v,w) = 0 for all (v,w) in V × W is the only map from V × W to X which is bilinear and linear at the same time. Indeed, if (v,w) ∈ V × W, then if B is linear, B(v,w) = B(v,0) + B(0,w) = 0 + 0 if B is bilinear.

See also[edit]

External links[edit]


Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Bilinear_map — Please support Wikipedia.
A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
110 videos foundNext > 

Mapping- Sesquilinear / Bilinear

Nice short video but useful for exam.

Multilinear algebra #1: Groundwork

I talk about some basic groundwork involving bilinear maps, which can be extended in a straightforward manner to the general multilinear case.

Bilinear transform: introduction (#0000)

The problem with the impulse invariance / matched z method is that they map frequencies from analogue linearly. This means that the mapping works only up to ...

Multilinear algebra #6: Induced linear maps

Whenever we have a bilinear map phi from VxW to some space Z, we get an induced linear map f, due to the universal property of the tensor product. In this vi...

Optimal Verification of Operations on Dynamic Sets (Crypto 2011)

Charalampos Papamanthou, Roberto Tamassia, and Nikos Triandopoulos Brown University, USA; RSA Laboratories, USA; and Boston University, USA Abstract. We stud...

Multilinear algebra #2: Tensor product

I talk about the tensor product, prove an equivalent reformulation of the universal property, and then prove uniqueness of the tensor product up to a linear ...

Lie algebras and their representations 1

This lecture is part of a tutorial on Lie algebras. See the playlist "Lie algebras and their representations" for more information.

CRISTAL Pixel Texture Filtering

CRISTAL Pixel 3D Software Renderer Texture Filtering 1. Nearest Texel 2. Bilinear Filter 3. Nearest MIP Map Nearest Texel 4. Nearest MIP Map Bilinear Filter ...

Intro to the Metric Tensor Part 2.wmv

In a previous video we examined the metric tensor as a bilinear functional mapping pairs of vectors to the real numbers. In Part 2 we examine the metric tens...

The BALM

Bilinear factorization via Augmented Lagrange Multipliers Abstract This work presents a unified approach to solve different bilinear factorization problems i...

110 videos foundNext > 

We're sorry, but there's no news about "Bilinear map" right now.

Loading

Oops, we seem to be having trouble contacting Twitter

Talk About Bilinear map

You can talk about Bilinear map with people all over the world in our discussions.

Support Wikipedia

A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia. Please add your support for Wikipedia!