Induction Proof for 2^n x 2^n Matrix Using L Transformation

  • Thread starter Thread starter Jairo Rojas
  • Start date Start date
  • Tags Tags
    Induction Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving a property of a 2^n x 2^n matrix using induction, specifically focusing on expanding the matrix to a 2^(n+1) x 2^(n+1) size and applying L transformations. The original poster attempts to clarify the inductive step and the formalization of crossing out specific elements in the matrix.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • Participants discuss the method of expanding the matrix and partitioning it into submatrices. There is a focus on the inductive hypothesis and how to formally state the crossing out of specific elements, particularly the "L" shape formed by certain entries.

Discussion Status

Some participants have raised questions about the formalization of the inductive step and the specific conditions under which elements can be crossed out. Guidance has been offered regarding the posting format, emphasizing clarity in stating problems directly in the forum.

Contextual Notes

There is a note regarding the preference for not posting attachments unless necessary, as well as a reminder to refer to forum guidelines for effective communication.

Jairo Rojas
Messages
17
Reaction score
0

Homework Statement


Attached is the problem

Homework Equations

The Attempt at a Solution


The trick to solve this problem is that when we assume that it is true for a 2^n x 2^n matrix and then we expand this matrix with 1's to a 2^n+1 x 2^n+1, we can divide the resulting matrix into 4 submatrices of 2^n x 2^n. 1 matrix will be crossed out already but the other 3 will have just 1 entries. To apply the inductive step on the 3 left matrices, we just perform an L transformation on the corner of the solved sub matrix. Now every left submatrix will have a 0. Therefore, they can be crossed by inductive hypothesis. My problem is that I don't know how to state formally that we can cross that specific L.
 

Attachments

  • Screenshot (21).png
    Screenshot (21).png
    32 KB · Views: 455
Physics news on Phys.org
Jairo Rojas said:

Homework Statement


Attached is the problem

Homework Equations

The Attempt at a Solution


The trick to solve this problem is that when we assume that it is true for a 2^n x 2^n matrix and then we expand this matrix with 1's to a 2^n+1 x 2^n+1, we can divide partition the resulting matrix into 4 submatrices of 2^n x 2^n. 1 matrix will be crossed out already but the other 3 will have just 1 entries. To apply the inductive step on the 3 left remaining matrices, we just perform an L transformation on the corner* of the solved sub matrix. Now every left remaining submatrix will have a 0. Therefore, they can be crossed by inductive hypothesis. My problem is that I don't know how to state formally that we can cross that specific L.
* At the corner where the four submatrices meet there are four elements (one from each submatrix). One of these is a zero. Each of the other three is a 1 and together form an "L". ...
 
SammyS said:
* At the corner where the four submatrices meet there are four elements (one from each submatrix). One of these is a zero. Each of the other three is a 1 and together form an "L". ...
thanks!
 
Jairo Rojas said:

Homework Statement


Attached is the problem

Homework Equations

The Attempt at a Solution


The trick to solve this problem is that when we assume that it is true for a 2^n x 2^n matrix and then we expand this matrix with 1's to a 2^n+1 x 2^n+1, we can divide the resulting matrix into 4 submatrices of 2^n x 2^n. 1 matrix will be crossed out already but the other 3 will have just 1 entries. To apply the inductive step on the 3 left matrices, we just perform an L transformation on the corner of the solved sub matrix. Now every left submatrix will have a 0. Therefore, they can be crossed by inductive hypothesis. My problem is that I don't know how to state formally that we can cross that specific L.
Please get out of the habit of posting attachments stating the problem/solution, unless the problem or solution is complicated or involves diagrams, etc. Your problem can be stated simply and that should be done right in the input panel.

Most PF helpers will not look at attachments as you are employing them.

You should read the post by Vela entitled "Guidelines for students and helpers", which is pinned to the start of the sub-forum.
 
  • Like
Likes   Reactions: micromass
Ray Vickson said:
Please get out of the habit of posting attachments stating the problem/solution, unless the problem or solution is complicated or involves diagrams, etc. Your problem can be stated simply and that should be done right in the input panel.

Most PF helpers will not look at attachments as you are employing them.

You should read the post by Vela entitled "Guidelines for students and helpers", which is pinned to the start of the sub-forum.
Ok, I will keep that in mind for the future.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
4K
Replies
6
Views
3K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 69 ·
3
Replies
69
Views
11K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
4
Views
3K