Linear system solutions
$begingroup$
Assume we have linear system in form
$$
Ax=b
$$
Then I know that the system has solution when $text{rank} A =text{rank} (A|b) $.
Can you tell me more properties like this one which helps us to know whether the system has any solutions or maybe 6 has only one solution using the determinant of matrix and other characteristics of it?
linear-algebra matrices
$endgroup$
add a comment |
$begingroup$
Assume we have linear system in form
$$
Ax=b
$$
Then I know that the system has solution when $text{rank} A =text{rank} (A|b) $.
Can you tell me more properties like this one which helps us to know whether the system has any solutions or maybe 6 has only one solution using the determinant of matrix and other characteristics of it?
linear-algebra matrices
$endgroup$
$begingroup$
Hm... something like Cramer's rule for example?
$endgroup$
– chickenNinja123
Jan 8 at 15:25
$begingroup$
Yes but more like this 😉
$endgroup$
– avan1235
Jan 8 at 15:26
add a comment |
$begingroup$
Assume we have linear system in form
$$
Ax=b
$$
Then I know that the system has solution when $text{rank} A =text{rank} (A|b) $.
Can you tell me more properties like this one which helps us to know whether the system has any solutions or maybe 6 has only one solution using the determinant of matrix and other characteristics of it?
linear-algebra matrices
$endgroup$
Assume we have linear system in form
$$
Ax=b
$$
Then I know that the system has solution when $text{rank} A =text{rank} (A|b) $.
Can you tell me more properties like this one which helps us to know whether the system has any solutions or maybe 6 has only one solution using the determinant of matrix and other characteristics of it?
linear-algebra matrices
linear-algebra matrices
asked Jan 8 at 15:21
avan1235avan1235
3217
3217
$begingroup$
Hm... something like Cramer's rule for example?
$endgroup$
– chickenNinja123
Jan 8 at 15:25
$begingroup$
Yes but more like this 😉
$endgroup$
– avan1235
Jan 8 at 15:26
add a comment |
$begingroup$
Hm... something like Cramer's rule for example?
$endgroup$
– chickenNinja123
Jan 8 at 15:25
$begingroup$
Yes but more like this 😉
$endgroup$
– avan1235
Jan 8 at 15:26
$begingroup$
Hm... something like Cramer's rule for example?
$endgroup$
– chickenNinja123
Jan 8 at 15:25
$begingroup$
Hm... something like Cramer's rule for example?
$endgroup$
– chickenNinja123
Jan 8 at 15:25
$begingroup$
Yes but more like this 😉
$endgroup$
– avan1235
Jan 8 at 15:26
$begingroup$
Yes but more like this 😉
$endgroup$
– avan1235
Jan 8 at 15:26
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Let $A$ be an $mtimes n$ matrix.
- If $operatorname{rank}(A)=m$, there always exists a solution.
- If $operatorname{rank}(A)=n$, there might be solutions or not, but if, then they are unique.
- Consequently, if $operatorname{rank}=m=n$, there always exists a unique solution. One may rephrase this to saying that $det(A)neq 0$.
$endgroup$
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
|
show 2 more comments
$begingroup$
The determinant is always defined by the square matrix. Consequently, if a square matrix $A$ has non-zero determinant, this will lead to the invertibility and thus $x=A^{-1}b$ is the unique solution.
However, you cannot judge the existence and uniqueness of the linear equations by using the determinant if $A$ is not a square matrix. Simply consider like follows. Assume $A$ is a $m$-row, $n$-column matrix. If $A$ is full row rank which means that $A$ has $m$ linearly independent columns which can span the entire $m$ space (refer as range $R$). So that for any vector $b$ belongs to $R$, the solution always exists.
On the other hand, if $rank(A)=n$, all the columns in $A$ are linearly independent and $x=0$ would be the only solution of $Ax=0$. Notice that the full column rank condition does not give any information on the range space. The only conclusion can be made is that, the solution is unique if it has solution.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3066301%2flinear-system-solutions%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $A$ be an $mtimes n$ matrix.
- If $operatorname{rank}(A)=m$, there always exists a solution.
- If $operatorname{rank}(A)=n$, there might be solutions or not, but if, then they are unique.
- Consequently, if $operatorname{rank}=m=n$, there always exists a unique solution. One may rephrase this to saying that $det(A)neq 0$.
$endgroup$
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
|
show 2 more comments
$begingroup$
Let $A$ be an $mtimes n$ matrix.
- If $operatorname{rank}(A)=m$, there always exists a solution.
- If $operatorname{rank}(A)=n$, there might be solutions or not, but if, then they are unique.
- Consequently, if $operatorname{rank}=m=n$, there always exists a unique solution. One may rephrase this to saying that $det(A)neq 0$.
$endgroup$
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
|
show 2 more comments
$begingroup$
Let $A$ be an $mtimes n$ matrix.
- If $operatorname{rank}(A)=m$, there always exists a solution.
- If $operatorname{rank}(A)=n$, there might be solutions or not, but if, then they are unique.
- Consequently, if $operatorname{rank}=m=n$, there always exists a unique solution. One may rephrase this to saying that $det(A)neq 0$.
$endgroup$
Let $A$ be an $mtimes n$ matrix.
- If $operatorname{rank}(A)=m$, there always exists a solution.
- If $operatorname{rank}(A)=n$, there might be solutions or not, but if, then they are unique.
- Consequently, if $operatorname{rank}=m=n$, there always exists a unique solution. One may rephrase this to saying that $det(A)neq 0$.
edited Jan 8 at 15:30
answered Jan 8 at 15:29
JamesJames
801215
801215
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
|
show 2 more comments
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
On what are they based?
$endgroup$
– avan1235
Jan 8 at 15:30
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
This holds over any field. Most common examples would be $mathbb R$ and $mathbb C$. If this is what you mean.
$endgroup$
– James
Jan 8 at 15:31
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
But I meant a concept of proof 😅
$endgroup$
– avan1235
Jan 8 at 15:35
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
Well, this is rephrasing the notions of surjectivity, injectivity and bijectivity. For example, since the rank gives the dimension of the image, the first one says that $A$ is surjective. This is, for every point in the image set there is a point that is mapped to this. In other words a solution to the linear system.
$endgroup$
– James
Jan 8 at 15:38
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
$begingroup$
@avan1235 does this help you?
$endgroup$
– James
Jan 9 at 9:36
|
show 2 more comments
$begingroup$
The determinant is always defined by the square matrix. Consequently, if a square matrix $A$ has non-zero determinant, this will lead to the invertibility and thus $x=A^{-1}b$ is the unique solution.
However, you cannot judge the existence and uniqueness of the linear equations by using the determinant if $A$ is not a square matrix. Simply consider like follows. Assume $A$ is a $m$-row, $n$-column matrix. If $A$ is full row rank which means that $A$ has $m$ linearly independent columns which can span the entire $m$ space (refer as range $R$). So that for any vector $b$ belongs to $R$, the solution always exists.
On the other hand, if $rank(A)=n$, all the columns in $A$ are linearly independent and $x=0$ would be the only solution of $Ax=0$. Notice that the full column rank condition does not give any information on the range space. The only conclusion can be made is that, the solution is unique if it has solution.
$endgroup$
add a comment |
$begingroup$
The determinant is always defined by the square matrix. Consequently, if a square matrix $A$ has non-zero determinant, this will lead to the invertibility and thus $x=A^{-1}b$ is the unique solution.
However, you cannot judge the existence and uniqueness of the linear equations by using the determinant if $A$ is not a square matrix. Simply consider like follows. Assume $A$ is a $m$-row, $n$-column matrix. If $A$ is full row rank which means that $A$ has $m$ linearly independent columns which can span the entire $m$ space (refer as range $R$). So that for any vector $b$ belongs to $R$, the solution always exists.
On the other hand, if $rank(A)=n$, all the columns in $A$ are linearly independent and $x=0$ would be the only solution of $Ax=0$. Notice that the full column rank condition does not give any information on the range space. The only conclusion can be made is that, the solution is unique if it has solution.
$endgroup$
add a comment |
$begingroup$
The determinant is always defined by the square matrix. Consequently, if a square matrix $A$ has non-zero determinant, this will lead to the invertibility and thus $x=A^{-1}b$ is the unique solution.
However, you cannot judge the existence and uniqueness of the linear equations by using the determinant if $A$ is not a square matrix. Simply consider like follows. Assume $A$ is a $m$-row, $n$-column matrix. If $A$ is full row rank which means that $A$ has $m$ linearly independent columns which can span the entire $m$ space (refer as range $R$). So that for any vector $b$ belongs to $R$, the solution always exists.
On the other hand, if $rank(A)=n$, all the columns in $A$ are linearly independent and $x=0$ would be the only solution of $Ax=0$. Notice that the full column rank condition does not give any information on the range space. The only conclusion can be made is that, the solution is unique if it has solution.
$endgroup$
The determinant is always defined by the square matrix. Consequently, if a square matrix $A$ has non-zero determinant, this will lead to the invertibility and thus $x=A^{-1}b$ is the unique solution.
However, you cannot judge the existence and uniqueness of the linear equations by using the determinant if $A$ is not a square matrix. Simply consider like follows. Assume $A$ is a $m$-row, $n$-column matrix. If $A$ is full row rank which means that $A$ has $m$ linearly independent columns which can span the entire $m$ space (refer as range $R$). So that for any vector $b$ belongs to $R$, the solution always exists.
On the other hand, if $rank(A)=n$, all the columns in $A$ are linearly independent and $x=0$ would be the only solution of $Ax=0$. Notice that the full column rank condition does not give any information on the range space. The only conclusion can be made is that, the solution is unique if it has solution.
answered Jan 8 at 17:29
Wangkun XuWangkun Xu
485
485
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3066301%2flinear-system-solutions%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Hm... something like Cramer's rule for example?
$endgroup$
– chickenNinja123
Jan 8 at 15:25
$begingroup$
Yes but more like this 😉
$endgroup$
– avan1235
Jan 8 at 15:26