This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Verify that conjugate transposition must be used in the second limit expression.
Verify whether the prose regarding the projections onto kernel and range is valid.
Verify the Penrose 1956 reference (doing this... --
RainerBlome 22:31, 17 September 2007 (UTC)).
Cleanup
Explain notations in the beginning of the article. Done
Expand
Show that is the minimum-norm, least-squares solution to any SLE (yes, it is, not just overdetermined ones). Add a case-by-case analysis for the cases where b is in range(A) and where it is not.
Add geometric definition or geometric explanation of what the pseudoinverse does. Done
This article is using math image forcing in almost all places. What I mean is that e.g. is used instead of ; the former forces the use of png images for math by the \,\! construction.
I do not like this for several reasons:
It is ugly (note how png images do a poor job respecting the baseline).
It is screen-reader unfriendly.
AFAIK the wiki software has some heuristics which allows it to format math the proper way depending on the browser used for viewing, or on user preferences, which is circumvented by using \,\!.
I have removed all uses of \,\!. In my browser, this made no visible difference in the entire article, which is good. I have also removed extraneous uses of \,, which in three cases made no difference and in two cases it looks better to me. Done --
RainerBlome (
talk)
10:39, 19 December 2019 (UTC)reply
Reference to article with NPOV issues
This is a page on a well-established topic and is generally well-sourced. However, one sentence in
one section refers to an article under clear violation of NPOV. This sentence also uses language that reflects a general lack of neutrality. I suggest removal of this sentence.
-
V madhu (
talk)
17:06, 26 September 2018 (UTC)reply
@
Nomen4Omen:, thanks for testing with other browsers! You are right, with very narrow windows the latest version did not work well. I hope I fixed it now, not just for Firefox. Could you please check with IE and Opera, as I don't have those?
I wrote in the edit comment: "top" was wrong anyway. That was mostly wrong itself. I thought that the intent of the `vertical-align` was to get the baselines aligned, but that was wrong. When text starts to wrap due to a narrow window, it should float at the top of the table cells, that's the purpose, as I see now. `vertical-align:top` does exactly that, so `top` it is now. Sorry for my ignorance. :-)
To align the baseline of the lone A in the first row, I first tried to append `^\phantom{+}, but MediaWiki's LaTeX processor did not understand this. I have also tried to use `^\quad` for that purpose, but it does not affect alignment (no surprise there). I have now added an transparent `^+`, the lone A is now aligned. The advantage of `\phantom` would have been that selecting text would not pick up the operator. As it stands, selecting text in that table does not work as expected anyway, so no (more) harm done.
What kind of object is the in section
Moore–Penrose inverse#Projectors. Because can be Hermitian it is quite probable that this
Section
Moore–Penrose inverse#Geometric construction does not seem to require but it contains the grammatically awkward phrase "These imply that is defined on to be the inverse of this isomorphism, and on to be zero." I changed this phrase as I understand it.
You wrote "Because can be Hermitian it is quite probable that this " Sheesh, I found that one hard to parse. :-) Took me minutes to understand, I'm not joking. I'm not a native speaker, but I'd add a comma.
If I understand correctly, you mean because "is hermitian?" can be asked, must be . Sounds good to me. I guess that at the time they wrote this, the author meant .
Regarding the original question, in the geometric construction section, in how far would it help if is not meant to be ? To keep the section as general as it is?
I suggest to use the {{done}} marker only when all issues discussed in the entire discussion section are done. For me, the "done" marker means "no need to look at this section any more, can be archived".
Because we do not really know of Moore–Penrose inverses over or , and we know that always works, I propose to write throughout the article and let the discernment up to the knowledgeable reader. --
Nomen4Omen (
talk)
10:24, 23 December 2019 (UTC)reply
I agree that the same notation should be used throughout the article. As long as we define it, we can use either variant of K. Personally, I would have left it at plain K until LaTeX understands unicode 𝕂. (:-)
Regarding the geometric construction section, I still do not understand why you did not change the notation there along with the rest of the article. As far as I can see, K is not really restricted to R or C anywhere in the article, except by the notation definition.
In the "Limit relations" section, ð is an element of R, not of K.
In the "Derivative" section, K is not mentioned, and d/dx is not clearly defined. I assume that the
total derivative or
Fréchet derivative is meant. I have no access to the reference given there, can anyone provide a free one? In the implied "lim h -> 0", h is an element of K, but K can be anything as long as you manage to drive h to zero. For example, a
normed vector space would work. I can imagine that the derivative as given in that section does not always exist. At least d/dx A(x) and d/dx A^T(x) need to exist for the given expression to work.
Regarding K other than R or C, I disagree. We do know other kinds of suitable spaces K, see
Moore–Penrose inverse#Generalizations. Everything follows from the axioms at the top. Whenever these all work, the inverse discussed here exists and is unique. As an example, if we call the field of
biquaternions (the "ordinary" variant with complex coefficients), it works with all B^n×m matrices, as Theorem 3.5 in
this paper shows. This allows us to generalize the definition of from to . I have added that to the article in the Generalizations section.
Without having looked at this in detail, the restriction "doesn't always have a pseudoinverse" leads me to believe that that paragraph would be better suited in the article on
generalized inverses. One of the salient points of the Moore–Penrose inverse is that it always exists (for R, C and B Matrices). --
RainerBlome (
talk)
23:52, 17 January 2021 (UTC)reply
Special:Diff/1090367874 introduced properties that can be expressed in a simple sentence, but instead using notation that is not universally understood. Syntax seems to be "A matrix is a set of tuples of coordinates (which are themselves tuples of two index values), and values in ". Please prefer to use simpler notation, and introduce the notation in the notation section. I also think that the notation is questionable, but I'm not even 100% sure I understand the author's intent.
Special:Diff/1168148932 should have changed to , shouldn't it? If yes, the error could have been avoided if the local convention of using braces (\mathbb{k}) had been used in the first place. I fixed this.
The operator seems overloaded, meaning two different things in the same expression. Neither of these exactly matches its use ("m x n") in the notation section.
Dimensions m and n are permitted to be zero, but this is unlikely to make sense. I fixed this.
I think some of the hypercomplex stuff on Wikipedia is kind of trivial, and is given false prominence. For instance, the "biquaternion" nonsense is just the 2x2 complex matrices. So it's literally talking about
block matrices in an obscure and confusing way. Wikipedia might need a cleanup of this stuff. --
Svennik (
talk)
15:07, 16 September 2023 (UTC)reply
Can we please avoid judgment like "nonsense" and "trivial"? Like any encyclopedia, Wikipedia contains a lot of info that many deem trivial. But what seems trivial to you or me may not be so obvious to other readers. The whole point of an encyclopedia is to provide knowledge that the reader did not have before, or to confirm it. But back on topic:
Yes, biquaternions (Let's denote them with .) behave like 2 × 2 complex matrices. If the question was whether the concept of the pseudoinverse of a biquaternion is valid, there would indeed not be much value in mentioning this, for most readers. But the paragraph you removed talks about the pseudoinverse of matrixes over , whose elements are biquaternions.
Maybe such a matrix of 2x2 matrixes can be "flattened", and, (blindly) following your argument, is equivalent to some kind of block matrix with complex elements, but if so, this is far from obvious to me. Do you agree?
Unless the biquaternions are given an unusual
involution, an matrix over the biquaternions is essentially a matrix over the complex numbers, with the conjugate-transpose operation being the usual one. Formally, this is an isomorphism of two
dagger categories: One consisting of matrices over the complex numbers with an even number of rows and columns, and the other consisting of matrices over the "biquaternions". Under this
isomorphism, the result you're referring to is not very hard. I think a remark about the use of block matrices to extend the notion of pseudoinverse from *-fields to (some) *-algebras would be appropriate here. I don't know how clear this is. I'll take on board what you said about being more careful with my language. Thank you. --
Svennik (
talk)
19:13, 19 September 2023 (UTC)reply
Define Support
There seem to be many overlapping terms in this topic which can be confusing. For example "column space" is the same thing as "image". But the term "support" is used but not defined. Please can someone knowledgeable define it?
Bodger Boffin (
talk)
14:33, 9 October 2023 (UTC)reply
In the Definition section, it is stated that "Note that ... are orthogonal projection operators, as follows from ..." (Sorry, copy and paste deleted the math expressions.) But I believe the conditions cited, P^2 = P, are those for "projection," not "orthogonal projection." The Properties / Projectors section properly cites both conditions, namely P^2 = P for projection, and, in addition, P^H = P, for orthogonal projection.