Base classes for reflexive modules¶

class sage.tensor.modules.reflexive_module.ReflexiveModule_abstract[source]¶

Bases: Parent

Abstract base class for reflexive modules.

An \(R\)-module \(M\) is reflexive if the natural map from \(M\) to its double dual \(M^{**}\) is an isomorphism.

In the category of \(R\)-modules, the dual module \(M^*\) is the \(R\)-module of linear functionals \(\phi:\ M \longrightarrow R\). However, we do not make the assumption that the dual module (obtained by dual()) is in the category Homsets.

We identify the double dual \(M^{**}\) with \(M\).

Tensor products of reflexive modules are reflexive. We identify all tensor products of \(k\) copies of \(M\) and \(l\) copies of \(M^*\) and denote it by \(T^{(k,l)}(M)\). The tensor_type() of such a tensor product is the pair \((k, l)\), and \(M\) is called its base_module().

There are three abstract subclasses:

ReflexiveModule_base is the base class for implementations of base modules \(M\).
ReflexiveModule_dual is the base class for implementations of duals \(M^*\).
ReflexiveModule_tensor is the base class for implementations of tensor modules \(T^{(k,l)}(M)\).

base_module()[source]¶

Return the module on which self is constructed.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3)
sage: M.base_module() is M
True
sage: M.dual().base_module() is M
True
sage: M.tensor_module(1, 2).base_module() is M
True

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3))
>>> M.base_module() is M
True
>>> M.dual().base_module() is M
True
>>> M.tensor_module(Integer(1), Integer(2)).base_module() is M
True

Sage Live

M = FiniteRankFreeModule(ZZ, 3)
M.base_module() is M
M.dual().base_module() is M
M.tensor_module(1, 2).base_module() is M

dual()[source]¶

Return the dual module.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3)
sage: M.dual()
Dual of the Rank-3 free module over the Integer Ring
sage: M.dual().dual()
Rank-3 free module over the Integer Ring
sage: M.tensor_module(1, 2)
Free module of type-(1,2) tensors on the Rank-3 free module over the Integer Ring
sage: M.tensor_module(1, 2).dual()
Free module of type-(2,1) tensors on the Rank-3 free module over the Integer Ring

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3))
>>> M.dual()
Dual of the Rank-3 free module over the Integer Ring
>>> M.dual().dual()
Rank-3 free module over the Integer Ring
>>> M.tensor_module(Integer(1), Integer(2))
Free module of type-(1,2) tensors on the Rank-3 free module over the Integer Ring
>>> M.tensor_module(Integer(1), Integer(2)).dual()
Free module of type-(2,1) tensors on the Rank-3 free module over the Integer Ring

Sage Live

M = FiniteRankFreeModule(ZZ, 3)
M.dual()
M.dual().dual()
M.tensor_module(1, 2)
M.tensor_module(1, 2).dual()

tensor(*args, **kwds)[source]¶

Return the tensor product of self and others.

This method is invoked when TensorProductFunctor is applied to parents.

It just delegates to tensor_product().

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(QQ, 2); M
2-dimensional vector space over the Rational Field
sage: M20 = M.tensor_module(2, 0); M20
Free module of type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
sage: tensor([M20, M20])
Free module of type-(4,0) tensors on the 2-dimensional vector space over the Rational Field

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(QQ, Integer(2)); M
2-dimensional vector space over the Rational Field
>>> M20 = M.tensor_module(Integer(2), Integer(0)); M20
Free module of type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
>>> tensor([M20, M20])
Free module of type-(4,0) tensors on the 2-dimensional vector space over the Rational Field

Sage Live

M = FiniteRankFreeModule(QQ, 2); M
M20 = M.tensor_module(2, 0); M20
tensor([M20, M20])

tensor_power(n)[source]¶

Return the n-fold tensor product of self.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(QQ, 2)
sage: M.tensor_power(3)
Free module of type-(3,0) tensors on the 2-dimensional vector space over the Rational Field
sage: M.tensor_module(1,2).tensor_power(3)
Free module of type-(3,6) tensors on the 2-dimensional vector space over the Rational Field

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(QQ, Integer(2))
>>> M.tensor_power(Integer(3))
Free module of type-(3,0) tensors on the 2-dimensional vector space over the Rational Field
>>> M.tensor_module(Integer(1),Integer(2)).tensor_power(Integer(3))
Free module of type-(3,6) tensors on the 2-dimensional vector space over the Rational Field

Sage Live

M = FiniteRankFreeModule(QQ, 2)
M.tensor_power(3)
M.tensor_module(1,2).tensor_power(3)

tensor_product(*others)[source]¶

Return the tensor product of self and others.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(QQ, 2)
sage: M.tensor_product(M)
Free module of type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
sage: M.tensor_product(M.dual())
Free module of type-(1,1) tensors on the 2-dimensional vector space over the Rational Field
sage: M.dual().tensor_product(M, M.dual())
Free module of type-(1,2) tensors on the 2-dimensional vector space over the Rational Field
sage: M.tensor_product(M.tensor_module(1,2))
Free module of type-(2,2) tensors on the 2-dimensional vector space over the Rational Field
sage: M.tensor_module(1,2).tensor_product(M)
Free module of type-(2,2) tensors on the 2-dimensional vector space over the Rational Field
sage: M.tensor_module(1,1).tensor_product(M.tensor_module(1,2))
Free module of type-(2,3) tensors on the 2-dimensional vector space over the Rational Field

sage: Sym2M = M.tensor_module(2, 0, sym=range(2)); Sym2M
Free module of fully symmetric type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
sage: Sym01x23M = Sym2M.tensor_product(Sym2M); Sym01x23M
Free module of type-(4,0) tensors on the 2-dimensional vector space over the Rational Field,
 with symmetry on the index positions (0, 1), with symmetry on the index positions (2, 3)
sage: Sym01x23M._index_maps
((0, 1), (2, 3))

sage: N = M.tensor_module(3, 3, sym=[1, 2], antisym=[3, 4]); N
Free module of type-(3,3) tensors on the 2-dimensional vector space over the Rational Field,
 with symmetry on the index positions (1, 2),
 with antisymmetry on the index positions (3, 4)
sage: NxN = N.tensor_product(N); NxN
Free module of type-(6,6) tensors on the 2-dimensional vector space over the Rational Field,
 with symmetry on the index positions (1, 2), with symmetry on the index positions (4, 5),
 with antisymmetry on the index positions (6, 7), with antisymmetry on the index positions (9, 10)
sage: NxN._index_maps
((0, 1, 2, 6, 7, 8), (3, 4, 5, 9, 10, 11))

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(QQ, Integer(2))
>>> M.tensor_product(M)
Free module of type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
>>> M.tensor_product(M.dual())
Free module of type-(1,1) tensors on the 2-dimensional vector space over the Rational Field
>>> M.dual().tensor_product(M, M.dual())
Free module of type-(1,2) tensors on the 2-dimensional vector space over the Rational Field
>>> M.tensor_product(M.tensor_module(Integer(1),Integer(2)))
Free module of type-(2,2) tensors on the 2-dimensional vector space over the Rational Field
>>> M.tensor_module(Integer(1),Integer(2)).tensor_product(M)
Free module of type-(2,2) tensors on the 2-dimensional vector space over the Rational Field
>>> M.tensor_module(Integer(1),Integer(1)).tensor_product(M.tensor_module(Integer(1),Integer(2)))
Free module of type-(2,3) tensors on the 2-dimensional vector space over the Rational Field

>>> Sym2M = M.tensor_module(Integer(2), Integer(0), sym=range(Integer(2))); Sym2M
Free module of fully symmetric type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
>>> Sym01x23M = Sym2M.tensor_product(Sym2M); Sym01x23M
Free module of type-(4,0) tensors on the 2-dimensional vector space over the Rational Field,
 with symmetry on the index positions (0, 1), with symmetry on the index positions (2, 3)
>>> Sym01x23M._index_maps
((0, 1), (2, 3))

>>> N = M.tensor_module(Integer(3), Integer(3), sym=[Integer(1), Integer(2)], antisym=[Integer(3), Integer(4)]); N
Free module of type-(3,3) tensors on the 2-dimensional vector space over the Rational Field,
 with symmetry on the index positions (1, 2),
 with antisymmetry on the index positions (3, 4)
>>> NxN = N.tensor_product(N); NxN
Free module of type-(6,6) tensors on the 2-dimensional vector space over the Rational Field,
 with symmetry on the index positions (1, 2), with symmetry on the index positions (4, 5),
 with antisymmetry on the index positions (6, 7), with antisymmetry on the index positions (9, 10)
>>> NxN._index_maps
((0, 1, 2, 6, 7, 8), (3, 4, 5, 9, 10, 11))

Sage Live

M = FiniteRankFreeModule(QQ, 2)
M.tensor_product(M)
M.tensor_product(M.dual())
M.dual().tensor_product(M, M.dual())
M.tensor_product(M.tensor_module(1,2))
M.tensor_module(1,2).tensor_product(M)
M.tensor_module(1,1).tensor_product(M.tensor_module(1,2))
Sym2M = M.tensor_module(2, 0, sym=range(2)); Sym2M
Sym01x23M = Sym2M.tensor_product(Sym2M); Sym01x23M
Sym01x23M._index_maps
N = M.tensor_module(3, 3, sym=[1, 2], antisym=[3, 4]); N
NxN = N.tensor_product(N); NxN
NxN._index_maps

tensor_type()[source]¶

Return the tensor type of self.

OUTPUT:

pair \((k,l)\) such that self is the module tensor product \(T^{(k,l)}(M)\), where \(M\) is the base_module() of self.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3)
sage: T = M.tensor_module(1, 2)
sage: T.tensor_type()
(1, 2)

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3))
>>> T = M.tensor_module(Integer(1), Integer(2))
>>> T.tensor_type()
(1, 2)

Sage Live

M = FiniteRankFreeModule(ZZ, 3)
T = M.tensor_module(1, 2)
T.tensor_type()

class sage.tensor.modules.reflexive_module.ReflexiveModule_base[source]¶

Bases: ReflexiveModule_abstract

Abstract base class for reflexive modules that are base modules.

base_module()[source]¶

Return the free module on which self is constructed, namely self itself.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3, name='M')
sage: M.base_module() is M
True

sage: M = Manifold(2, 'M')                                                  # needs sage.symbolic
sage: XM = M.vector_field_module()                                          # needs sage.symbolic
sage: XM.base_module() is XM                                                # needs sage.symbolic
True

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3), name='M')
>>> M.base_module() is M
True

>>> M = Manifold(Integer(2), 'M')                                                  # needs sage.symbolic
>>> XM = M.vector_field_module()                                          # needs sage.symbolic
>>> XM.base_module() is XM                                                # needs sage.symbolic
True

Sage Live

M = FiniteRankFreeModule(ZZ, 3, name='M')
M.base_module() is M
M = Manifold(2, 'M')                                                  # needs sage.symbolic
XM = M.vector_field_module()                                          # needs sage.symbolic
XM.base_module() is XM                                                # needs sage.symbolic

dual()[source]¶

Return the dual module.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3, name='M')
sage: M.dual()
Dual of the Rank-3 free module M over the Integer Ring

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3), name='M')
>>> M.dual()
Dual of the Rank-3 free module M over the Integer Ring

Sage Live

M = FiniteRankFreeModule(ZZ, 3, name='M')
M.dual()

tensor_module(k, l, **kwds)[source]¶

Return the module of all tensors of type \((k, l)\) defined on self.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3)
sage: M.tensor_module(1, 2)
Free module of type-(1,2) tensors on the Rank-3 free module over the Integer Ring

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3))
>>> M.tensor_module(Integer(1), Integer(2))
Free module of type-(1,2) tensors on the Rank-3 free module over the Integer Ring

Sage Live

M = FiniteRankFreeModule(ZZ, 3)
M.tensor_module(1, 2)

tensor_type()[source]¶

Return the tensor type of self, the pair \((1, 0)\).

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3)
sage: M.tensor_type()
(1, 0)

sage: M = Manifold(2, 'M')                                                  # needs sage.symbolic
sage: XM = M.vector_field_module()                                          # needs sage.symbolic
sage: XM.tensor_type()                                                      # needs sage.symbolic
(1, 0)

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3))
>>> M.tensor_type()
(1, 0)

>>> M = Manifold(Integer(2), 'M')                                                  # needs sage.symbolic
>>> XM = M.vector_field_module()                                          # needs sage.symbolic
>>> XM.tensor_type()                                                      # needs sage.symbolic
(1, 0)

Sage Live

M = FiniteRankFreeModule(ZZ, 3)
M.tensor_type()
M = Manifold(2, 'M')                                                  # needs sage.symbolic
XM = M.vector_field_module()                                          # needs sage.symbolic
XM.tensor_type()                                                      # needs sage.symbolic

class sage.tensor.modules.reflexive_module.ReflexiveModule_dual[source]¶

Bases: ReflexiveModule_abstract

Abstract base class for reflexive modules that are the duals of base modules.

construction()[source]¶

Return the functorial construction of self.

This implementation just returns None, as no functorial construction is implemented.

tensor_type()[source]¶

Return the tensor type of self.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3, name='M')
sage: M.dual().tensor_type()
(0, 1)

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3), name='M')
>>> M.dual().tensor_type()
(0, 1)

Sage Live

M = FiniteRankFreeModule(ZZ, 3, name='M')
M.dual().tensor_type()

class sage.tensor.modules.reflexive_module.ReflexiveModule_tensor[source]¶

Bases: ReflexiveModule_abstract

Abstract base class for reflexive modules that are tensor products of base modules.

tensor_factors()[source]¶

Return the tensor factors of this tensor module.

EXAMPLES:

Sage

sage: M = FiniteRankFreeModule(ZZ, 3, name='M')
sage: T = M.tensor_module(2, 3)
sage: T.tensor_factors()
[Rank-3 free module M over the Integer Ring,
 Rank-3 free module M over the Integer Ring,
 Dual of the Rank-3 free module M over the Integer Ring,
 Dual of the Rank-3 free module M over the Integer Ring,
 Dual of the Rank-3 free module M over the Integer Ring]

Python

>>> from sage.all import *
>>> M = FiniteRankFreeModule(ZZ, Integer(3), name='M')
>>> T = M.tensor_module(Integer(2), Integer(3))
>>> T.tensor_factors()
[Rank-3 free module M over the Integer Ring,
 Rank-3 free module M over the Integer Ring,
 Dual of the Rank-3 free module M over the Integer Ring,
 Dual of the Rank-3 free module M over the Integer Ring,
 Dual of the Rank-3 free module M over the Integer Ring]

Sage Live

M = FiniteRankFreeModule(ZZ, 3, name='M')
T = M.tensor_module(2, 3)
T.tensor_factors()