Matrices and linear transformations.

Click For Summary
SUMMARY

Every m x n matrix A over a field k defines a linear transformation T: k^n → k^m through left-multiplication by A. The discussion emphasizes that while matrices can be utilized in contexts outside linear maps, they inherently represent linear transformations when a basis is established. The conversation also explores the implications of using matrices with non-field elements, such as integers, and the necessity of defining vector spaces for linear transformations to be valid.

PREREQUISITES
  • Understanding of linear transformations and their properties
  • Familiarity with vector spaces and fields, particularly F2 (the field of two elements)
  • Knowledge of matrix multiplication and its requirements
  • Basic concepts of differential geometry and its relation to linear algebra
NEXT STEPS
  • Study the properties of linear transformations in vector spaces
  • Learn about the field F2 and its applications in linear algebra
  • Explore the implications of using matrices with non-field elements
  • Investigate the relationship between linear algebra and differential geometry
USEFUL FOR

Mathematicians, students of linear algebra, and anyone interested in the foundational concepts of matrices and their applications in various mathematical contexts.

  • #61
Dickfore said:
Well, your definition of a matrix is certainly not the one commonly accepted by a math community.

Well, if you look up "matrix" on wiki, first you get a disambiguation of about 40 options.
And if you pick "matrix (mathematics)", it says:
In mathematics, a matrix (plural matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns. The individual items in a matrix are called its elements or entries.​

Furthermore:
Matrices of the same size can be added or subtracted element by element.​

Note the use of "can".
I find the article a bit sloppy in the sense that it almost seems to imply that all mathematical operations and even a specific multiplication type should be defined on it.
 
Physics news on Phys.org
  • #62
According to what rule in the definition of a matrix are the following forbidden:
<br /> \left[\begin{array}{ccc}<br /> 0 &amp; 1 &amp; 1<br /> \end{array}\right], \ \left[\begin{array}{ccc}<br /> 1 &amp; 0 &amp; 1<br /> \end{array}\right], \ \left[\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 0<br /> \end{array}\right], \ \left[\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 1<br /> \end{array}\right]<br />?
 
  • #63
Dickfore said:
According to what rule in the definition of a matrix are the following forbidden:
<br /> \left[\begin{array}{ccc}<br /> 0 &amp; 1 &amp; 1<br /> \end{array}\right], \ \left[\begin{array}{ccc}<br /> 1 &amp; 0 &amp; 1<br /> \end{array}\right], \ \left[\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 0<br /> \end{array}\right], \ \left[\begin{array}{ccc}<br /> 1 &amp; 1 &amp; 1<br /> \end{array}\right]<br />?

In the definition of a matrix they are not forbidden.
With the extra restrictions that have been set for this problem, they are not allowed.
Or perhaps we could say that you can use them, but then the result is undefined.
Similar to ##\left[\begin{array}{ccc}
0 & 0.1 & 1
\end{array}\right]## as not being allowed.
 
  • #64
I like Serena said:
In the definition of a matrix they are not forbidden.
With the extra restrictions that have been set for this problem, they are not allowed.
Similar to ##\left[\begin{array}{ccc}
0 & 0.1 & 1
\end{array}\right]## as not being allowed.

No, it's not similar. We have established that the left matrix can take values from the set \left\lbrace 0, 1 \right\rbrace. In your example 0.1 does not belong to the set. So, his "restrictions" contradict the definition of a matrix. Therefore, it is not a matrix.
 
  • #65
Dickfore said:
Well, your definition of a matrix is certainly not the one commonly accepted by a math community.

Can you give me a definition that is commonly accept by the math community? The notion of "matrix" seems to be a little like the notion of "number", it is undefined but everybody knows what it means.
 
  • #66
Actually I am not 100% sure the objects defined by Studiot in the OP are rectangular arrays, as opposed to vectors-like objects, I would have to have that confirmed by a mathematician.
But the fact he might have chosen a not completely perfect example doesn't mean he is wrong about what he was trying to clarify.
 
  • #67
micromass said:
Can you give me a definition that is commonly accept by the math community? The notion of "matrix" seems to be a little like the notion of "number", it is undefined but everybody knows what it means.

See the posts before yours.
 
  • #68
Dickfore said:
Therefore, it is not a matrix.

Well, please define matrix.
 
  • #69
TrickyDicky said:
Actually I am not 100% sure the objects defined by Studiot in the OP are rectangular arrays, as opposed to vectors, I would have to have that confirmed by a mathematician.
But the fact he might have chosed a not completely perfect example doesn't mean he is wrong about what he was trying to clarify.

Yes, it does.
 
  • #70
Dickfore said:
No, it's not similar. We have established that the left matrix can take values from the set \left\lbrace 0, 1 \right\rbrace. In your example 0.1 does not belong to the set. So, his "restrictions" contradict the definition of a matrix. Therefore, it is not a matrix.

The allowed matrices are defined as having entries from {0,1} and having only a single 1.
I have to admit that the last condition was added in a later post.

So the allowed matrices are a subset of ##F_2^{1 \times 3}##.

My example violates the first condition, whereas yours violates the second condition.

Edit: All of the examples are still conform the wiki definition of a matrix in mathematics.
 
  • #71
micromass said:
Well, please define matrix.

Is 1 a number, if 1 + 1 is not defined?
 
  • #72
Dickfore said:
Yes, it does.

I refer you again to my example then.
 
  • #73
Dickfore said:
No, it's not similar. We have established that the left matrix can take values from the set \left\lbrace 0, 1 \right\rbrace. In your example 0.1 does not belong to the set. So, his "restrictions" contradict the definition of a matrix. Therefore, it is not a matrix.

So a (0,1)-matrix is not a matrix? http://en.wikipedia.org/wiki/(0,1)-matrix
 
  • #75
Since we have managed to stray in the field of arbitrariness of definitions, and are not willing to accept the other party's arguments, I decided to back away from this thread.
 
  • #76
Dickfore said:
Is 1 a number, if 1 + 1 is not defined?

No, not necessarily.
For instance, in abstract algebra {1,2} is a group with multiplication modulo 3.
In particular 1+1 is not defined.
 
  • #77
Dickfore said:
Since we have managed to stray in the field of arbitrariness of definitions, and are not willing to accept the other party's arguments, I decided to back away from this thread.

I accepted your arguments, but you didn't even acknowledge mine once.
 
  • #78
Dickfore said:
Since we have managed to stray in the field of arbitrariness of definitions, and are not willing to accept the other party's arguments, I decided to back away from this thread.

Well, the problem seems to be that you never provided a definition of a matrix...
 
  • #79
Dickfore said:
Since we have managed to stray in the field of arbitrariness of definitions, and are not willing to accept the other party's arguments, I decided to back away from this thread.

Definitions in math are not arbitrary.
To the contrary, they are very sharply defined.
To understand what those definitions are exactly, is now what this whole thread is about.

But I can certainly understand that you had enough of it. ;)
 
  • #80
Dickfore, I'd bet you are not really agreeing with "the proposition that all matrices define linear transformations" that the OP was trying to prove wrong, regardless of how fortunate his example was.
 
  • #81
Well I certainly have made folks think.

:biggrin:

However, I don't see much mathematical uses for it.

The first matrix is extendible. I have only shown one row but you could have many rows. In my example this would correspond to many trials of ball withdrawal. However less trivial results might be a connectivity diagram for an electrical network or structural framework.
 
  • #82
I like Serena said:
Definitions in math are not arbitrary.
To the contrary, they are very sharply defined.

I don't think I agree. For example, the notion of "number" does not seem to have a good definition in mathematics. Should complex numbers be numbers? p-adic numbers? transfinite numbers? I don't know any standard definition of number.
 
  • #83
Studiot said:
The first matrix is extendible. I have only shown one row but you could have many rows. In my example this would correspond to many trials of ball withdrawal. However less trivial results might be a connectivity diagram for an electrical network or structural framework.

Yes, boolean matrices (which are similar) are already used in electical networks. But there you specifically use the structure of boolean algebras.
 
  • #84
Studiot said:
Well I certainly have made folks think.

:biggrin:

Thanks, it's been fun, and we might have set up some record for brief and fast posting not counting the non-science subforums (almost 60 posts in a little over 2 hours).
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K