Problems

Filters
Clear Filters

4 problems found

2013 Paper 1 Q3
D: 1500.0 B: 1500.0
vectors binary operation associativity geometric proof sequences convex combination line segment division algebraic manipulation

For any two points \(X\) and \(Y\), with position vectors \(\bf x\) and \(\bf y\) respectively, \(X*Y\) is defined to be the point with position vector \(\lambda {\bf x}+ (1-\lambda){\bf y}\), where \(\lambda\) is a fixed number.

  1. If \(X\) and \(Y\) are distinct, show that \(X*Y\) and \(Y*X\) are distinct unless \(\lambda\) takes a certain value (which you should state).
  2. Under what conditions are \((X*Y)*Z\) and \(X*(Y*Z)\,\) distinct?
  3. Show that, for any points \(X\), \(Y\) and \(Z\), \[ (X*Y)*Z = (X*Z)*(Y*Z)\, \] and obtain the corresponding result for \(X*(Y*Z)\).
  4. The points \(P_1\), \(P_2\), \(\ldots\) are defined by \( P_1 = X*Y\) and, for \(n \ge2\), \(P_n= P_{n-1}*Y\,.\) Given that \(X\) and \(Y\) are distinct and that \(0<\lambda<1\), find the ratio in which \(P_n\) divides the line segment \(XY\).

Solution:

  1. Suppose \(X*Y = Y*X\), then \begin{align*} && X * Y &= \lambda \mathbf{x} + (1-\lambda) \mathbf{y} \\ && Y * X &= \lambda \mathbf{y} + (1-\lambda) \mathbf{x}\\ \Rightarrow && 0 &= (2\lambda - 1)(\mathbf{x} -\mathbf{y}) \end{align*} Therefore, either \(\mathbf{x} = \mathbf{y}\) or \(\lambda = \frac12\). Since we assumed \(X,Y\) were distinct, \(\mathbf{x} \neq \mathbf{y}\) and so \(X*Y\) and \(Y*X\) are distinct unless \(\lambda = \frac12\)
  2. Suppose \((X*Y)*Z = X*(Y*Z)\) \begin{align*} &&(X*Y)*Z &= (\lambda \mathbf{x} + (1-\lambda) \mathbf{y}) * \mathbf{z} \\ &&&= (\lambda^2 \mathbf{x} + \lambda(1-\lambda)\mathbf{y} + (1-\lambda)\mathbf{z}\\ &&X*(Y*Z) &=\mathbf{x}* (\lambda \mathbf{y} + (1-\lambda) \mathbf{z}) \\ &&&= (\lambda \mathbf{x} + \lambda(1-\lambda)\mathbf{y} + (1-\lambda)^2\mathbf{z}\\ \Rightarrow && 0 &= (\lambda^2 - \lambda)\mathbf{x} + ((1-\lambda) - (1-\lambda)^2)\mathbf{z} \\ &&&=(1-\lambda)(-\lambda \mathbf{x} +\lambda \mathbf{z}) \\ &&&= \lambda(1-\lambda)(\mathbf{z}-\mathbf{x}) \end{align*} Therefore they are distinct unless \(\lambda = 1, 0\) or \(\mathbf{x} = \mathbf{z}\).
  3. Claim: \((X*Y)*Z = (X*Z)*(Y*Z)\) Proof: \begin{align*} && (X*Y)*Z &= (\lambda \mathbf{x} + \lambda(1-\lambda)\mathbf{y} + (1-\lambda)^2\mathbf{z} \\ && (X*Z)*(Y*Z) &= (\lambda \mathbf{x} + (1-\lambda)\mathbf{z}) * (\lambda \mathbf{y} + (1-\lambda)\mathbf{z}) \\ &&&= \lambda(\lambda \mathbf{x} + (1-\lambda)\mathbf{z}) + (1-\lambda)(\lambda \mathbf{y} + (1-\lambda)\mathbf{z}) \\ &&&= \lambda^2 \mathbf{x} + \lambda(1-\lambda)\mathbf{y} + (1-\lambda) \mathbf{z} \end{align*} Claim: \(X*(Y*Z) = (X*Y)*(X*Z)\) Proof: \begin{align*} X*(Y*Z) &= \lambda \mathbf{x} + \lambda(1-\lambda)\mathbf{y} + (1-\lambda)^2\mathbf{z} \\ (X*Y)*(X*Z) &= (\lambda \mathbf{x} + (1-\lambda)\mathbf{y})*(\lambda \mathbf{x} + (1-\lambda)\mathbf{z}) \\ &= \lambda (\lambda \mathbf{x} + (1-\lambda)\mathbf{y}) + (1-\lambda)(\lambda \mathbf{x} + (1-\lambda)\mathbf{z}) \\ &= \lambda \mathbf{x} + \lambda(1-\lambda)\mathbf{y} + (1-\lambda)^2\mathbf{z} \end{align*}
  4. \(P_1 = X*Y\) divides the line segment into the ratio \(\lambda:(1-\lambda)\). \(P_n\) divides the line segment \(P_{n-1}Y\) into the ratio \(\lambda:(1-\lambda)\), therefore it divides the line segment \(XY\) in the ratio \(\lambda^n : 1- \lambda^n\) Alternatively, \begin{align*} P_1 &= \lambda \mathbf{x} + (1-\lambda)\mathbf{y} \\ P_2 &= (\lambda \mathbf{x} + (1-\lambda)\mathbf{y} )*\mathbf{y} \\ &= \lambda^2 \mathbf{x} + (1-\lambda^2) \mathbf{y} \end{align*} Suppose \(P_k = \lambda^k\mathbf{x} + (1-\lambda^k)\mathbf{y}\) then \begin{align*}P_{k+1} &= (\lambda^k\mathbf{x} + (1-\lambda^k)\mathbf{y}) * \mathbf{y} \\ &= \lambda^{k+1}\mathbf{x} + \lambda(1-\lambda^k)\mathbf{y} + (1-\lambda)\mathbf{y}\\ & = \lambda^{k+1}\mathbf{x} + (1-\lambda^{k+1})\mathbf{y}\end{align*}

View
1999 Paper 3 Q7
D: 1680.5 B: 1516.0
groups binary operation associativity group axioms subgroup identity element inverse element

Let \(a\) be a non-zero real number and define a binary operation on the set of real numbers by $$ x*y = x+y+axy \,. $$ Show that the operation \(*\) is associative. Show that \((G,*)\) is a group, where \(G\) is the set of all real numbers except for one number which you should identify. Find a subgroup of \((G,*)\) which has exactly 2 elements.

Solution: Claim: \(*\) is associative. Proof: Then \(x*(y*z) = x*(y+z+ayz) = x + (y+z+ayz) + ax(y+z+ayz) = x + y + z + a(yz + xy + zx) + a^2xyz\) and \((x*y)*z = (x+y+axy)*z = (x+y+axy) + z+ a(x+y+axy)z = x + y + z + a(yz + xy + zx) + a^2xyz\) so \(x*(y*z) = (x*y)*z\) and we are done. Let \(G = \mathbb{R} \setminus \{-\frac1{a} \}\) In order to show that \((G, *)\) is a group we need to check:

  1. closure \(x*y = x + y + axy\) is a real number
  2. associativity we have already checked
  3. identity \(x*0 = x + 0 + 0 = x = 0*x\), so \(0\) is an identity
  4. inverses \(x*\left ( \frac{-x}{1+ax} \right ) = x - \frac{x}{1+ax} + ax \frac{-x}{1+ax} = \frac{x +ax^2 - x - ax^2}{1+ax} = 0\) so \(x\) has an identity, assuming \(1+ax \neq 0\) which is true for everything in our set
Consider the set \(\{0, \frac{-2}{a} \}\). Then \(\frac{-2}{a} * \frac{-2}{a} = \frac{-4}{a} + a \frac{4}{a^2} = 0\), so this is a group of order \(2\)

View
1993 Paper 3 Q5
D: 1730.5 B: 1466.6
groups binary operation associativity commutativity complex numbers subgroup isomorphism order of elements identity element inverse matrix quaternion group

The set \(S\) consists of ordered pairs of complex numbers \((z_1,z_2)\) and a binary operation \(\circ\) on \(S\) is defined by $$ (z_1,z_2)\circ(w_1,w_2)= (z_1w_1-z_2w^*_2, \; z_1w_2+z_2w^*_1). $$ Show that the operation \(\circ\) is associative and determine whether it is commutative. Evaluate \((z,0)\circ(w,0)\), \((z,0)\circ(0,w)\), \((0,z)\circ(w,0)\) and \((0,z)\circ(0,w)\). The set \(S_1\) is the subset of \(S\) consisting of \(A\), \(B\), \(\ldots\,\), \(H\), where \(A=(1,0)\), \(B=(0,1)\), \(C=(i,0)\), \(D=(0,i)\), \(E=(-1,0)\), \(F=(0,-1)\), \(G=(-i,0)\) and \(H=(0,-i)\). Show that \(S_1\) is closed under \(\circ\) and that it has an identity element. Determine the inverse and order of each element of \(S_1\). Show that \(S_1\) is a group under \(\circ\). \hfil\break [You are not required to compute the multiplication table in full.] Show that \(\{A,B,E,F\}\) is a subgroup of \(S_1\) and determine whether it is isomorphic to the group generated by the \(2\times2\) matrix $\begin{pmatrix}0 & 1\\ -1 & 0 \end{pmatrix}$ under matrix multiplication.

View
1987 Paper 2 Q10
D: 1500.0 B: 1500.0
groups group axioms binary operation closure associativity identity element inverse proof abstract algebra

The set \(S\) consists of \(N(>2)\) elements \(a_{1},a_{2},\ldots,a_{N}.\) \(S\) is acted upon by a binary operation \(\circ,\) defined by \[ a_{j}\circ a_{k}=a_{m}, \] where \(m\) is equal to the greater of \(j\) and \(k\). Determine, giving reasons, which of the four group axioms hold for \(S\) under \(\circ,\) and which do not. Determine also, giving reasons, which of the group axioms hold for \(S\) under \(*\), where \(*\) is defined by \[ a_{j}*a_{k}=a_{n}, \] where \(n=\left|j-k\right|+1\).

Solution:

  1. (Closure) This operation is clearly closed by construction
  2. (Associative) \(a_j \circ (a_k \circ a_l) = a_j \circ a_{\max(k,l)} = a_{\max(j,k,l)} = a_{\max(j,k)} \circ a_l = (a_j \circ a_k) \circ a_l\), so it is associative
  3. (Identity) \(a_1 \circ a_k = a_{\max(1,k)} = a_k = a_{\max(k,1)} = a_k \circ a_1\) so \(a_1\) is an identity.
  4. (Inverses) There is no inverse, since \(a_N \circ a_k = a_N\) for all \(k\), and hence \(a_N\) can have no inverse.
  1. (Closure) \(n = |j-k|+1 \geq 1\) so we need to show that \(n \leq N\) to ensure closure. This is true since the largest \(j-k\) can be is if \(j = N\) and \(k = 1\), and this also satisfies \(|j-k| + 1 \leq N\). Hence the operation is closed.
  2. (Associative) \(a_j * (a_k * a_l) = a_j * (a_{|k-l|+1}) = a_{|j-|k-l|-1|+1}\). \((a_j * a_k) * a_l = a_{|j-k|+1}*a_l = a_{|l-|j-k|-1|+1}\). \(a_2 * (a_2 * a_3) = a_2 * a_2 = a_1\). \((a_2 *a_2)*a_3 = a_1 * a_3 = a_3 \neq a_2\) therefore this isn't associative for any \(N > 2\)
  3. (Identity) \(a_1\) is an identity, since \(a_1 * a_k = a_{|k-1|+1} = a_{k-1+1} = a_k\).
  4. (Inverse) Every element is self-inverse since \(a_k * a_k = a_{|k-k|+1} = a_1\)

View