apparently, a choice of four products.
gives
and
,
; these two merely differ in sign; and similarly
yields
, and that due to
merely differs from it in sign. We will choose from the forms in such manner that the product of letters
is either a power of
, or does not contain
; this rule leaves us with
and
; of these forms we will choose that one which in letters
is earliest in ascending dictionary order; this is
and our earliest perpetuant is
![{\displaystyle (2^{2})_{a}(21)_{b}-(2^{2}1)_{a}(2)_{b},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0524c04c579f7b64ad70278ec5ebfd1b486d370)
and thence the general form enumerated by the generating function
is
![{\displaystyle (2^{\lambda _{2}+2})_{a}(2^{\mu _{2}+1}1^{\mu _{1}+1})_{b}-(2^{\lambda _{2}+2}1)_{a}(2^{\mu _{2}+1}1^{\mu _{1}})_{b}+...}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25515ce8f97cbe1c14d5f4c1e0d49ae7f7697ebe)
![{\displaystyle =(2^{\lambda _{2}+2}1^{\mu _{1}+1})_{a}(2^{\mu _{2}+1})_{b}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e91c666ded9f575b640bca62ff6edf4f887dc0e)
For the case
,
, the condition is
![{\displaystyle \sigma _{1}\tau _{1}\tau _{2}\tau _{3}(\sigma _{1}+\tau _{1})(\sigma _{1}+\tau _{2})(\sigma _{1}+\tau _{3})={\text{A}}_{1}{\text{B}}_{3}^{2}+{\text{A}}_{1}^{2}{\text{B}}_{2}{\text{B}}_{3}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1470d9d7b1f16166b2f820f8d5bc9fdcb14d11ae)
By the rules adopted we take
, which gives
![{\displaystyle (1^{2})_{a}(32)_{b}-(1)_{a}(321)_{b}+a_{0}(321^{2})_{b},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34a7b0d633bee59120cf4716f1c549c2d1e4d750)
the simplest perpetuant of weight 7; and thence the general form enumerated by the generating function
![{\displaystyle {\frac {z^{7}}{1-z.~1-z^{2}.~1-z^{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5036dc8cb136d8e2faecf8c5a5eed38642e663b8)
viz:—
For the case
,
, the condition is
![{\displaystyle \sigma _{1}\sigma _{2}\tau _{1}\tau _{2}\tau _{3}(\sigma _{1}+\sigma _{2})(\sigma _{1}+\tau _{1})(\sigma _{1}+\tau _{2})(\sigma _{1}+\tau _{3})(\sigma _{2}+\tau _{1})(\sigma _{2}+\tau _{2})(\sigma _{2}+\tau _{3})\times (\tau _{1}+\tau _{2})(\tau _{1}+\tau _{3})(\tau _{2}+\tau _{3})=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f7955ef935995cdc7af6cbb51a390f3543f3b38)
The calculation results in
![{\displaystyle -{\text{A}}_{2}^{4}{\text{B}}_{3}{\text{B}}_{2}{\text{B}}_{1}^{2}+2{\text{A}}_{2}^{3}{\text{B}}_{3}{\text{B}}_{2}^{2}{\text{B}}_{1}^{2}-{\text{A}}_{2}^{2}{\text{B}}_{3}{\text{B}}_{2}^{3}{\text{B}}_{1}^{2}+{\text{A}}_{2}^{4}{\text{B}}_{3}^{2}{\text{B}}_{1}-2{\text{A}}_{2}^{3}{\text{B}}_{3}^{2}{\text{B}}_{2}{\text{B}}_{1}-{\text{A}}_{2}^{2}{\text{B}}_{3}^{2}{\text{B}}_{2}{\text{B}}_{1}^{3}+{\text{A}}_{2}^{2}{\text{B}}_{3}^{2}{\text{B}}_{2}^{2}{\text{B}}_{1}+{\text{A}}_{2}{\text{B}}_{3}^{2}{\text{B}}_{2}^{2}{\text{B}}_{1}^{3}+{\text{A}}_{2}^{2}{\text{B}}_{3}^{3}{\text{B}}_{1}^{2}-2{\text{A}}_{2}{\text{B}}_{3}^{3}{\text{B}}_{2}{\text{B}}_{1}^{2}+{\text{A}}_{2}{\text{B}}_{3}^{4}{\text{B}}_{1}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7f9bd7f3789c6a7d6f3c607dd04128c57c697e5)
By the rules adopted we take
, giving the simplest perpetuant of weight 15, viz:—
![{\displaystyle (2^{4})_{a}(321^{2})_{b}-(2^{4}1)_{a}(321)_{b}+(2^{4}1^{2})_{a}(32)_{b};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97b2c2f621a622b90361a220a8fc1335456d067d)
and thence the general form
![{\displaystyle (2^{\lambda _{2}+4})_{a}(3^{\mu _{3}+1}2^{\mu _{2}+1}1^{\mu _{1}+2})_{b}-...\pm (2^{\lambda _{2}+4}1^{\mu _{1}+2})_{a}(3^{\mu _{3}+1}2^{\mu _{2}+1})_{b},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5834fb68f1e103004b16b86ce8517b6689e660b9)
due to the generating function
![{\displaystyle {\frac {z^{15}}{(1-z)(1-z^{2})^{2}(1-z^{3})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c08710db9487b008b78f3a312f72ab01181f6dc)
For the case
,
, the condition is
![{\displaystyle \sigma _{1}\tau _{1}\tau _{2}\tau _{3}\tau _{4}(\sigma _{1}+\tau _{1})(\sigma _{1}+\tau _{2})(\sigma _{1}+\tau _{3})(\sigma _{1}+\tau _{4}){\text{II}}(\sigma _{s}+\tau _{t})=0;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abcbe6a4d6b0b081b7205b2da7d80ef1e3440251)
the calculation gives
![{\displaystyle {\text{A}}_{1}{\text{B}}_{4}({\text{A}}_{1}^{2}{\text{B}}_{2}+{\text{A}}_{1}{\text{B}}_{3}+{\text{B}}_{4})(-{\text{B}}_{3}^{2}-{\text{A}}_{1}{\text{B}}_{2}{\text{B}}_{3}-{\text{A}}_{1}^{2}{\text{B}}_{4})=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17f1d9ed7cd1075bbb30ce38c683954e74e9ed9c)
Selecting the product
, we find the simplest perpetuant
![{\displaystyle (1^{4})_{a}(432^{2})_{b}-(1^{3})_{a}(432^{2}1)_{b}+(1^{2})_{a}(432^{2}1^{2})_{b}-(1)_{a}(432^{2}1^{3})_{b}+a_{0}(432^{2}1^{4})_{b},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26ab0bf747235ae4ec1058735b17869cf3cb0bb6)
and thence the general form
![{\displaystyle (1^{\lambda _{1}+4})_{a}(4^{\mu _{4}+1}3^{\mu _{3}+1}2^{\mu _{2}+2})_{b}-...\pm a_{0}(4^{\mu _{4}+1}3^{\mu _{3}+1}2^{\mu _{2}+2}1^{\lambda _{1}+4})_{b},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3468213f1cf24c92bf4ef6facee8a9040feac94f)
due to the generating function
![{\displaystyle {\frac {z^{15}}{1-z.{\text{ }}1-z^{2}.{\text{ }}1-z^{3}.{\text{ }}1-z^{4}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e28f0dda54c27cc55689ecdbcad32eb9adcb013)
The series may be continued, but the calculations soon become very laborious.
V. Restricted Substitutions
We may regard the factors of a binary
equated to zero as denoting
straight lines through the origin, the co-ordinates being Cartesian and the axes inclined at any angle. Taking the variables to be
and effecting the linear transformation
![{\displaystyle y=\lambda _{2}{\text{X}}+\mu _{2}{\text{Y}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc044391febe15ca283ccd6e99aa76fd2c6fed62)
so that
![{\displaystyle {\frac {y}{x}}={\frac {\lambda _{2}+\mu _{2}{\frac {\text{Y}}{\text{X}}}}{\lambda _{1}+\mu _{1}{\frac {\text{Y}}{\text{X}}}}},{\frac {\text{Y}}{\text{X}}}={\frac {\lambda _{1}{\frac {y}{x}}-\lambda _{2}}{\mu _{2}-\mu _{1}{\frac {y}{x}}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e329478064bccb6aa4b08e0a4ede644a4f7e6a1)
it is seen that the two lines, on which lie
,
, have a definite projective correspondence. The linear transformation replaces points on lines through the origin by corresponding points on projectively corresponding lines through the origin; it therefore replaces a pencil of lines by another pencil, which corresponds projectively, and harmonic and other properties of pencils which are unaltered by linear transformation we may expect to find indicated in the invariant system. Or, instead of looking upon a linear substitution as replacing a pencil of lines by a projectively corresponding pencil retaining the same axes of co-ordinates, we may look upon the substitution as changing the axes of co-ordinates retaining the same pencil. Then a binary
, equated to zero, represents
straight lines through the origin, and the
of any line through the origin are given constant multiples of the sines of the angles which that line makes with two fixed lines, the axes of co-ordinates. As new axes of co-ordinates we may take any other pair of lines through the origin, and for the
corresponding to
any new constant multiples of the sines of the angles which the line makes with the new axes. The substitution for
in terms of
is the most general linear substitution in virtue of the four degrees of arbitrariness introduced, viz. two by the choice of axes, two by the choice of multiples. If now the
denote a given pencil of lines, an invariant is the criterion of the pencil possessing some particular property which is independent alike of the axes and of the multiples, and a covariant expresses that the pencil of lines which it denotes is a fixed pencil whatever be the axes or the multiples.
Besides the invariants and covariants, hitherto studied, there are others which appertain to particular cases of the general linear substitution. Thus what have been called seminvariants are not all of them invariants for the general substitution, but are invariants for the particular substitution
![{\displaystyle \mu _{2}\xi _{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89516558803e9272556d9d79d1ef1c1200859ad2)
Again, in plane geometry, the most general equations of substitution which change from old axes inclined at
to new axes inclined at
, and inclined at angles
to the old axis of
, without change of origin, are
![{\displaystyle y={\frac {\sin {\alpha }}{\sin {\omega }}}{\text{X}}+{\frac {\sin {\beta }}{\sin {\omega }}}{\text{Y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afcdaa8a9ac5274b7845609448389d6b3e39c995)
a transformation of modulus
![{\displaystyle {\frac {\sin {\omega '}}{\sin {\omega }}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61800613903a8bc4d519611df45fd23a395f3ff0)
The theory of invariants originated in the discussion, by George Boole, of this system so important in geometry. Of the quadratic
![{\displaystyle ax^{2}+2bxy+cy^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9a5b0d6e6e8f1bd5e3d08e48915323daad0a5d5)
he discovered the two invariants
![{\displaystyle ac-b^{2},a-2b\cos \omega +c,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40a25658f58a361ebe688b8686ce446140333166)
and it may be verified that, if the transformed of the quadratic be
The fundamental fact that he discovered was the invariance of
, viz.—
![{\displaystyle x^{2}+2\cos {\omega }~xy+y^{2}={\text{X}}^{2}+2\cos {\omega '}~{\text{XY}}+{\text{Y}}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16b2360742c0cb5d955eb45477bca80868cb45bf)
from which it appears that the Boolian invariants of
are nothing more than the full invariants of the simultaneous quadratics
![{\displaystyle ax^{2}+2bxy+y^{2},x^{2}+2\cos {\omega }~xy+y^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e46c89957f2079cb96a7b70215089145d7d07108)
the word invariant including here covariant. In general the Boolian system, of the general
, is coincident with the simultaneous system of the
and the quadratic
.
Orthogonal System.—In particular, if we consider the transformation from one pair of rectangular axes to another pair of rectangular axes we obtain an orthogonal system which we will now briefly inquire into. We have
and the substitution
![{\displaystyle x_{2}=\sin {\theta }{\text{X}}_{1}+\cos {\theta }{\text{X}}_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d027e148070b4bbb98ba83d88da306be7c1475fe)
with modulus unity. This is called the direct orthogonal substitution, because the sense of rotation from the axis of
to the axis of
is the same as that from that of
to that of
. If the senses of rotation be opposite we have the skew orthogonal substitution
![{\displaystyle x_{2}=\sin {\theta }{\text{X}}_{1}-\cos {\theta }{\text{X}}_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10063a0b9517523aec0baeecfef35cd252fc891e)
of modulus
.
In both cases
and
are cogredient with
and
; for, in the case of direct substitution,
![{\displaystyle {\frac {d}{dx_{2}}}=\sin {\theta }{\frac {d}{d{\text{X}}_{1}}}+\cos {\theta }{\frac {d}{d{\text{X}}_{2}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d998c7e2ae20ab9a3aca125b9acecfa8bb105488)
and for skew substitution
![{\displaystyle {\frac {d}{dx_{2}}}=\sin {\theta }{\frac {d}{d{\text{X}}_{1}}}-\cos {\theta }{\frac {d}{d{\text{X}}_{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ad0d90a98dba829b6e495d8acbf130539b3556e)
Hence, in both cases, contragrediency and cogrediency are identical, and contravariants are included in covariants.