MILO / Mathematical Field Notes / Volume 01

Practice cards

38 questions across six notes. Read a question, work it out, then reveal the answer and its reasoning. The full worked examples, conditions, and references are in the linked notes.

For the card PDF, print at actual size, double-sided, flipping on the long edge.

Note 001 / 6 cards

What Is This Formula Asking Me to Do?

A field guide to reading indices, sums, and one instruction at a time.

Read the full note

FIELD NOTES / RECALL

Note 001 practice

Read the front, decide on an answer, then reveal the reasoning.

Card 1 of 6

Front / questionrecognize

In a grid P, which address does p42 name?

Card 1 of 6: In a grid P, which address does p_42 name?. Answer hidden.

Card 1 / recognize

Front / question

In a grid P, which address does p_42 name?

Back / answer

Row 4, column 2 of P.

P names the whole grid; lowercase p with subscripts names one entry. The first subscript 4 chooses the row. The second subscript 2 chooses the column.

Card 2 / recognize

Front / question

Let A be 2 × 3, B be 3 × 2, and C = AB. Its entry rule is c_ij = Σ_(z=1)^3 a_iz b_zj. While finding c_21, which symbols stay fixed and which one runs?

Back / answer

i = 2 and j = 1 stay fixed; z runs through 1, 2, and 3.

The destination c_21 fixes row i at 2 and column j at 1. The bounds under and over Σ tell z to take the values 1, 2, and 3.

Card 3 / apply

Front / question

Expand and evaluate Σ_(k=1)^4 (k + 1).

Back / answer

(1 + 1) + (2 + 1) + (3 + 1) + (4 + 1) = 2 + 3 + 4 + 5 = 14.

The bounds include both endpoints, so there are four terms. Evaluate (k + 1) at each value and add the four results.

Card 4 / apply

Front / question

With A = [[2, 1, 3], [4, 2, 1]] and B = [[1, 2], [3, 1], [2, 4]], expand and calculate c_12 in C = AB.

Back / answer

c_12 = 2 × 2 + 1 × 1 + 3 × 4 = 4 + 1 + 12 = 17.

For c_12, fix i = 1 and j = 2; z still runs through 1, 2, and 3. A's first row is (2, 1, 3). B's second column is (2, 1, 4). Multiply corresponding positions and add: 4 + 1 + 12 = 17.

Card 5 / transfer

Front / question

Expand and evaluate Σ_(r=2)^4 3r. Does changing the running letter from r to t change the value?

Back / answer

3(2) + 3(3) + 3(4) = 6 + 9 + 12 = 27. Renaming r to t does not change the value.

The lower bound starts the sum at 2; the upper bound ends it at 4, giving three terms. The running letter is a placeholder. The same three values and rule give the same result with another letter.

Card 6 / transfer

Front / question

A rule says d_ij = Σ_(q=1)^5 x_iq y_qj. How many products make one entry d_ij, and does the 5 say how many entries D has?

Back / answer

Five products make each chosen entry. The 5 does not say how many entries D has.

The running index q takes 1, 2, 3, 4, and 5, so the sum has five product terms. The size of D comes from its available row and column addresses, which this sum bound alone does not specify.

Note 002 / 8 cards

Rows, Columns, and Why You Don’t Multiply Everything

Matrix multiplication: from addresses to answers

Read the full note

FIELD NOTES / RECALL

Note 002 practice

Read the front, decide on an answer, then reveal the reasoning.

Card 1 of 8

Front / questionrecognize

In A = 213421 and B = 123124, find a23 and b32. Say each address as row, column before reading its value.

Card 1 of 8: In A = [[2, 1, 3], [4, 2, 1]] and B = [[1, 2], [3, 1], [2, 4]], find a_23 and b_32. Say each address as row, column before reading its value.. Answer hidden.

Card 1 / recognize

Front / question

In A = [[2, 1, 3], [4, 2, 1]] and B = [[1, 2], [3, 1], [2, 4]], find a_23 and b_32. Say each address as row, column before reading its value.

Back / answer

a_23 = 1 and b_32 = 4.

A's second row is (4, 2, 1); its third entry is 1. B's third row is (2, 4); its second entry is 4. An address names one entry, not the whole matrix.

Card 2 / recognize

Front / question

Let A = [[2, 1, 3], [4, 2, 1]], B = [[1, 2], [3, 1], [2, 4]], and C = AB. For c_12, which row of A and column of B must meet? How many paired products make that one entry?

Back / answer

Use A row 1, (2, 1, 3), with B column 2, (2, 1, 4). That entry has three paired products.

The first subscript 1 selects A row 1; the second subscript 2 selects B column 2. Their positions match three times: 2 with 2, 1 with 1, and 3 with 4. The shape's shared 3 sets the count.

Card 3 / apply

Front / question

Let A = [[2, 1, 3], [4, 2, 1]], B = [[1, 2], [3, 1], [2, 4]], and C = AB. Calculate c_22. Write the chosen row and column before the arithmetic.

Back / answer

c_22 = 4×2 + 2×1 + 1×4 = 8 + 2 + 4 = 14.

Address 22 fixes row 2 of A and column 2 of B. The corresponding pairs are 4 with 2, 2 with 1, and 1 with 4. Their products add to 14. Place 14 at row 2, column 2 of C.

Card 4 / apply

Front / question

Let A = [[2, 1, 3], [4, 2, 1]] and B = [[1, 2], [3, 1], [2, 4]]. Is BA defined? If so, give its shape and top-left entry.

Back / answer

BA has shape 3 × 3. Its top-left entry is 1×2 + 2×4 = 10.

The adjacent dimensions in (3 × 2)(2 × 3) match at 2; the outside dimensions are 3 and 3. B row 1 is (1, 2), and A column 1 is (2, 4). Pair their positions and add 2 + 8 = 10.

Card 5 / apply

Front / question

Let P = [[1, 0], [2, 3]] and Q = [[4], [5]]. Find PQ and its shape.

Back / answer

PQ = [[4], [23]], a 2 × 1 matrix.

The shapes (2 × 2)(2 × 1) fit, and the outside dimensions give 2 × 1. The first entry is 1×4 + 0×5 = 4. The second is 2×4 + 3×5 = 8 + 15 = 23. Put the two entries in one column: [[4], [23]].

Card 6 / transfer

Front / question

A is 2 × 3, B is 3 × 2, and D is any 2 × 3 matrix. Which of AB, BA, AD, and DA are defined? Give each valid output shape.

Back / answer

AB is defined and is 2 × 2. BA is defined and is 3 × 3. AD and DA are undefined.

AB has shapes (2 × 3)(3 × 2): the adjacent 3s match, giving 2 × 2. BA has shapes (3 × 2)(2 × 3): the adjacent 2s match, giving 3 × 3. AD and DA both have shapes (2 × 3)(2 × 3). Their adjacent dimensions are 3 and 2, so neither product is defined.

Card 7 / transfer

Front / question

Without calculating entries, describe (4 × 9)(9 × 6): output shape, total output entries, and paired products per entry.

Back / answer

The output is 4 × 6, with 24 entries and 9 paired products in each entry.

The adjacent 9s match, so the product is defined. The outside dimensions 4 and 6 give its shape. A 4 × 6 matrix has 4×6 = 24 entries. The shared 9 means each entry adds nine corresponding products.

Card 8 / transfer

Front / question

Let A = [[2, 1, 3], [4, 2, 1]], B = [[1, 2], [3, 1], [2, 4]], and C = AB. Someone tries nine every-to-every products for c_21. Which row and column should they choose, how should they pair positions instead, and what is c_21?

Back / answer

Make three corresponding products: 4×1 + 2×3 + 1×2 = 12.

For c_21, A row 2 is (4, 2, 1) and B column 1 is (1, 3, 2). Pair first with first, second with second, and third with third, giving 4, 6, and 2. Add those three products to get 12. The shared dimension is 3, so nine every-to-every products answer a different question.

Note 003 / 6 cards

One Number Acting on an Entire Matrix

Read the object outside the brackets before you choose an operation.

Read the full note

FIELD NOTES / RECALL

Note 003 practice

Read the front, decide on an answer, then reveal the reasoning.

Card 1 of 6

Front / questionrecognize

P and Q are matrices. Which expression asks for scalar multiplication: 5P or PQ? What clue settles it?

Card 1 of 6: P and Q are matrices. Which expression asks for scalar multiplication: 5P or PQ? What clue settles it?. Answer hidden.

Card 1 / recognize

Front / question

P and Q are matrices. Which expression asks for scalar multiplication: 5P or PQ? What clue settles it?

Back / answer

5P asks for scalar multiplication; PQ asks for matrix multiplication.

In 5P, 5 is one number, so it multiplies every entry of P. In PQ, both named objects are matrices. Its entries require the matrix-product rule, assuming their shapes are compatible.

Card 2 / recognize

Front / question

M has 2 rows and 3 columns, and s is a scalar. What is the shape of sM? If the entry of M at row 2, column 3 is m₂₃, what is the entry at that address in sM?

Back / answer

sM is 2 × 3, and its row 2, column 3 entry is s × m₂₃.

M has six addresses arranged in 2 rows and 3 columns; scaling leaves those addresses in place. At each address, multiply the existing entry by s. At (2, 3), that gives s × m₂₃.

Card 3 / apply

Front / question

Calculate −2 × [[3, −1], [0, 4]].

Back / answer

[[-6, 2], [0, -8]]

Keep the two rows: [[−2 × 3, −2 × (−1)], [−2 × 0, −2 × 4]]. The products are −6, 2, 0, and −8 in their original positions, giving [[−6, 2], [0, −8]].

Card 4 / apply

Front / question

Calculate (1/2) × [[6, 0], [−4, 10]].

Back / answer

[[3, 0], [−2, 5]]

At each address, multiply by 1/2: [[6/2, 0/2], [−4/2, 10/2]]. Simplify without moving entries: [[3, 0], [−2, 5]].

Card 5 / transfer

Front / question

Let k(t) = 2t − 1 and P = [[1, 0], [2, −3]]. Find k(2)P. What would k(t)P mean before a value of t is chosen?

Back / answer

k(2)P = [[3, 0], [6, −9]]. Before choosing t, k(t)P = [[k(t), 0], [2k(t), −3k(t)]].

k(2) = 2 × 2 − 1 = 3, so the instruction becomes 3P. Multiply each entry of P by 3: [[3 × 1, 3 × 0], [3 × 2, 3 × (−3)]] = [[3, 0], [6, −9]]. With t unspecified, use the same factor k(t) at every address: [[k(t), 0], [2k(t), −3k(t)]].

Card 6 / transfer

Front / question

In complex-number work, i² = −1. Compare iP with pᵢⱼ, where P = [pᵢⱼ]. What job does i do in each expression? If P = [[1, 2]], what is iP?

Back / answer

In iP, i is the imaginary-unit scalar, so iP = [[i, 2i]]. In pᵢⱼ, i is the row index, not a multiplier.

The statement i² = −1 declares i to be the imaginary unit in this context. Placed before P, it scales each entry; this gives [[i × 1, i × 2]] = [[i, 2i]]. The output has complex entries. In pᵢⱼ, subscripts identify an entry at row i and column j. That i names a position. The same printed letter can have a different role in a different context.

Note 004 / 6 cards

The Directions a Transformation Doesn't Turn

Eigenvectors and eigenvalues, read as an instruction

Read the full note

FIELD NOTES / RECALL

Note 004 practice

Read the front, decide on an answer, then reveal the reasoning.

Card 1 of 6

Front / questionrecognize

A square matrix gives Av = v for a nonzero v. Is v an eigenvector? What is λ?

Card 1 of 6: A square matrix gives Av = v for a nonzero v. Is v an eigenvector? What is λ?. Answer hidden.

Card 1 / recognize

Front / question

A square matrix gives Av = v for a nonzero v. Is v an eigenvector? What is λ?

Back / answer

Yes. λ = 1.

Because v is nonzero and A is square, the definition can apply. Av = v = 1v, so one common scalar works for every coordinate. The input is unchanged, not merely kept on the same line.

Card 2 / recognize

Front / question

For A = [[3, 0], [0, 2]], someone says (1, 1) is an eigenvector because A(1, 1) = (3, 2) still points generally up and right. Check the claim.

Back / answer

No. (1, 1) is not an eigenvector of this A.

If (3, 2) = λ(1, 1), the first coordinate demands λ = 3 while the second demands λ = 2. One scalar cannot be both. A nearby-looking direction does not satisfy Av = λv.

Card 3 / apply

Front / question

Keep A = [[3, 0], [0, 2]]. Test v = (0, −3). Give Av and the eigenvalue if v qualifies.

Back / answer

Av = (0, −6) = 2v, so v is an eigenvector with λ = 2.

The first output coordinate is 3×0 + 0×(−3) = 0. The second is 0×0 + 2×(−3) = −6. Because (0, −6) = 2(0, −3), one common scalar works.

Card 4 / apply

Front / question

Let D = [[−2, 0], [0, 1]] and v = (3, 0). Find Dv, decide whether v is an eigenvector, and describe what the sign of λ does.

Back / answer

Dv = (−6, 0) = −2v. Yes: λ = −2, so the arrow reverses along the same line and doubles in length.

The first coordinate is (−2)×3 + 0×0 = −6; the second is 0×3 + 1×0 = 0. One scalar, −2, scales both coordinates. Its negative sign reverses orientation; its absolute value 2 doubles length.

Card 5 / transfer

Front / question

Let P = [[0, 0], [0, 1]] and v = (2, 0). P sends v to the origin. Does v count as an eigenvector? Would the zero vector itself count?

Back / answer

Yes: Pv = (0, 0) = 0v, so v is an eigenvector with λ = 0. The zero vector is not an eigenvector.

The input (2, 0) is nonzero. Multiplication gives (0×2 + 0×0, 0×2 + 1×0) = (0, 0). The scalar 0 works: 0(2, 0) = (0, 0). The output has no direction, but the eigenvector definition still holds. The zero input is excluded because it would satisfy A0 = λ0 for every λ.

Card 6 / transfer

Front / question

R = [[0, −1], [1, 0]] rotates every plane arrow 90° counterclockwise. Test (1, 0), then decide whether any nonzero real vector can be an eigenvector of R.

Back / answer

R(1, 0) = (0, 1), not a multiple of (1, 0). No nonzero real vector is an eigenvector of this 90° rotation.

R(1, 0) = (0×1 + (−1)×0, 1×1 + 0×0) = (0, 1). The input lies on the horizontal line and the output on the vertical line. The same quarter-turn moves every nonzero real arrow off its line, while preserving nonzero length. Real scaling cannot make that turn, and λ = 0 cannot describe a nonzero output. Thus no real λ and nonzero real v satisfy Rv = λv.

Note 005 / 6 cards

What Happens When You Run the Machine Again?

A matrix can act on its own output. Follow one direction, one step at a time.

Read the full note

FIELD NOTES / RECALL

Note 005 practice

Read the front, decide on an answer, then reveal the reasoning.

Card 1 of 6

Front / questionrecognize

Suppose Av = 3v for a nonzero vector v. Read A4v aloud, then state its value as a multiple of v.

Card 1 of 6: Suppose Av = 3v for a nonzero vector v. Read A^4v aloud, then state its value as a multiple of v.. Answer hidden.

Card 1 / recognize

Front / question

Suppose Av = 3v for a nonzero vector v. Read A^4v aloud, then state its value as a multiple of v.

Back / answer

A^4v = 3^4v = 81v.

The equation Av = 3v verifies that v is an eigenvector with eigenvalue 3. Each application multiplies this same vector direction by 3; four applications use four factors of 3. Read A^4v as 'apply A four times to v,' so the result is 81v.

Card 2 / recognize

Front / question

A nonzero eigenvector v has λ = -2. List its positions at steps k = 0, 1, 2, 3 as multiples of v. Does its length grow or shrink with each application, and does it point to the same side of the origin?

Back / answer

Its length doubles each step and its direction alternates: v, -2v, 4v, -8v.

The multipliers at steps 0 through 3 are 1, -2, 4, and -8. Their absolute values are 1, 2, 4, and 8, so the arrow grows. The signs alternate, so the arrow switches sides of the origin every step.

Card 3 / apply

Front / question

A nonzero eigenvector v has λ = -1/2. Write its positions at steps k = 0, 1, 2, 3, and 4 as multiples of v. Does any of these steps land on zero?

Back / answer

v, -v/2, v/4, -v/8, v/16. None is zero.

Begin with coefficient 1 at k = 0. Successive multiplication by -1/2 gives -1/2, 1/4, -1/8, and 1/16. Every listed coefficient is nonzero. Indeed, (-1/2)^k remains nonzero for every finite whole-number k.

Card 4 / apply

Front / question

Let A = [[3, 0], [0, -1]] and v = (0, 2). Verify Av = λv, identify λ, and find A^2v.

Back / answer

Av = (0, -2) = -v, so λ = -1 and A^2v = v = (0, 2).

Matrix-vector multiplication gives Av = (3·0 + 0·2, 0·0 + (-1)·2) = (0, -2). Since v = (0, 2), the output is -1 times v. The second application uses (-1)^2 = 1, so A^2v = (0, 2).

Card 5 / transfer

Front / question

Let A = [[2, 0], [0, 1/2]] and w = (1, 1). Compute Aw and A^2w. Why can you not choose one λ and write A^2w = λ^2w here?

Back / answer

Aw = (2, 1/2) and A^2w = (4, 1/4). The first coordinate doubles while the second halves, so w is not an eigenvector and has no single λ for this rule.

One application gives Aw = (2·1, (1/2)·1) = (2, 1/2). A second application gives A(Aw) = (2·2, (1/2)·(1/2)) = (4, 1/4). If Aw were λw, both coordinates would equal the same λ. They are 2 and 1/2, so the eigenvector shortcut does not apply to w.

Card 6 / transfer

Front / question

For M = [[1, 1], [0, 1]], compare the true matrix square M^2 with the array obtained by squaring each entry. Are they equal?

Back / answer

M^2 = MM = [[1, 2], [0, 1]], while entry-by-entry squaring gives [[1, 1], [0, 1]]. They are different.

For MM, the top-right entry is 1·1 + 1·1 = 2; the other entries are 1, 0, and 1. Squaring the four entries separately gives 1, 1, 0, and 1. A matrix power represents composition through matrix multiplication, which combines rows and columns.

Note 006 / 6 cards

When a Mathematical System Stops Changing

Fixed, cycling, and approaching: three different futures for a repeated rule.

Read the full note

FIELD NOTES / RECALL

Note 006 practice

Read the front, decide on an answer, then reveal the reasoning.

Card 1 of 6

Front / questionrecognize

For F(x) = 3x - 4 on real numbers, test whether x* = 2 is fixed. Is x = 1 fixed?

Card 1 of 6: For F(x) = 3x - 4 on real numbers, test whether x* = 2 is fixed. Is x = 1 fixed?. Answer hidden.

Card 1 / recognize

Front / question

For F(x) = 3x - 4 on real numbers, test whether x* = 2 is fixed. Is x = 1 fixed?

Back / answer

2 is fixed because F(2) = 2. 1 is not fixed because F(1) = -1.

F(2) = 3·2 - 4 = 2, so applying the rule leaves 2 unchanged. F(1) = 3·1 - 4 = -1, which differs from 1. The fixed-point test asks for equality after one application, not just a nearby result.

Card 2 / recognize

Front / question

Let F(x) = 2 - x. Starting at 5 gives 5 → -3 → 5. Is 5 fixed or on a genuine two-step cycle? Find one fixed state of this F.

Back / answer

5 is on a genuine two-step cycle, not fixed. The fixed state is x* = 1.

F(5) = 2 - 5 = -3, so 5 changes after one step. F(-3) = 2 - (-3) = 5, so it returns after exactly two steps. Solving F(x) = x gives 2 - x = x, hence x = 1; indeed F(1) = 1.

Card 3 / apply

Front / question

Let x_(k+1) = A x_k: each new state is A times the current state. For A = [[1, 0], [0, -1/2]] and x_0 = (2, 4), find x_1, x_2, x_3 and the fixed state this path approaches. Does it ever reach that state in a finite number of steps?

Back / answer

x_1 = (2, -2), x_2 = (2, 1), x_3 = (2, -1/2). They approach (2, 0) but never reach it at any finite step.

The matrix leaves the first coordinate at 2 and multiplies the second by -1/2 each time. The second coordinates are 4, -2, 1, -1/2, and in general 4(-1/2)^k. Their magnitudes tend to zero, but 4(-1/2)^k is nonzero for every finite k. Also A(2, 0) = (2, 0), so (2, 0) is fixed.

Card 4 / apply

Front / question

A nonzero vector v satisfies Av = -v. Classify the repeated path v → Av → A^2v as fixed, a genuine two-step cycle, or neither.

Back / answer

It is a genuine two-step cycle: v → -v → v.

The first step is Av = -v, which differs from v because v is nonzero. The second is A(-v) = -Av = -(-v) = v. Returning after two steps, with a change after one, is precisely a period-two cycle.

Card 5 / transfer

Front / question

A = [[1, 0], [0, 2]] fixes v = (1, 0). Starting instead at w = (1, 1), find Aw and A^2w. Does the fixed vector v prove that every state approaches a fixed state?

Back / answer

Aw = (1, 2), A^2w = (1, 4). No: the vertical coordinate grows, so this starting state does not approach the fixed horizontal axis.

Av = (1, 0) verifies v is fixed. But Aw = (1, 2) and A(Aw) = (1, 4); the second coordinate doubles each time. One fixed eigendirection describes what happens along that direction only. It cannot establish stability for all states.

Card 6 / transfer

Front / question

Compare two rules with the same fixed state 7. Rule P(x) = 7; rule Q(x) = 7 + (x - 7)/2. Starting at x_0 = 2, which rule reaches 7 in a finite step, and which merely approaches it?

Back / answer

P reaches 7 after one step and stays there. Q approaches 7 but never reaches it from 2 in a finite number of steps.

Both have fixed state 7 because P(7) = Q(7) = 7. P(2) = 7, so its path is 2 → 7 → 7 → ... . For Q, the initial error is 2 - 7 = -5 and each step halves it: x_k - 7 = -5/2^k. This is nonzero for finite k but tends to zero.