Patterns of Solution Sets of a System of Linear Equations

e(ho0n3
Messages
1,349
Reaction score
0
I'm reading through the book "Linear Algebra", by Jim Hefferon (which you can download for free!). In section I.3, he describes that the pattern of solutions for a system of linear equations:

"They have a vector that is a particular solution of the system added to an unrestrictred combination of some other vectors."

Then he goes on to say:

"A zero-element solution set fits the pattern since there is no particular solution, and so the set of sums of that form is empty."

Isn't he contradicting himself here? First, he says the pattern has a vector of a particular solution, and then he says a zero-element solution fits the pattern because it has no particular solution! Can someone clarify this?
 
Physics news on Phys.org
well maybe he is overly optimistic at trying to describe all situations in the same language.

there are two kinds of systems, those with solutions and those without.

if a system AX=b has solutions, then the difference of any two solutions is a solution of the homogeneous system AX=0.

conversely given one particular solution of AX=b, every other solution can be obtained by adding to that one, all solutions of the system AX=0.


so if there are no solutions, then i would be challenged trying to claim that is a special case of this situation. such things as his use of language are really inconsequential and therefore not worth worrying about, in my view.
 
Sounds a lot like solving non-homogeneous equation. I suspect that he is looking at equations of the form Ax= \lambda x+ c. If \lambda is NOT an eigenvalue of A, that equation has only one solution. If \lambda IS an eigenvalue of A then it has either no or an infinite number of solutions (the "Fredholm alternative"). Find the "general" solution to Ax= \lambda x (the eigenvectors) and add a single solution to the entire equation (if there is one) to get the "general" solution to entire equation.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
Back
Top