Timeline for An elementary inequality of operators
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 1, 2022 at 19:23 | history | became hot network question | |||
| Nov 1, 2022 at 18:57 | comment | added | Joseph Van Name | I’m voting to close this question because a counterexample can easily be obtained by computer calculations by testing random matrices. | |
| Nov 1, 2022 at 18:25 | answer | added | Christian Remling | timeline score: 6 | |
| Nov 1, 2022 at 13:56 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 9 characters in body
|
| Nov 1, 2022 at 13:53 | comment | added | Iosif Pinelis | @GrishaTaroyan : Since positive operators were mentioned, it appears that the order in question is the Loewner order. I have taken the liberty to edit the post accordingly. | |
| Nov 1, 2022 at 13:48 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
edited tags
|
| Nov 1, 2022 at 13:47 | comment | added | CommunityBot | Please clarify your specific problem or provide additional details to highlight exactly what you need. As it's currently written, it's hard to tell exactly what you're asking. | |
| Nov 1, 2022 at 13:46 | comment | added | Grisha Taroyan | I am also curious what is meant by $\le$ relation on operators. Is it supposed to be a lexicographic order on matrices with respect to a certain fixed basis? | |
| Nov 1, 2022 at 13:45 | comment | added | Iosif Pinelis | @DavidRoberts : I think "operator" here is supposed to mean "linear operator". The matrix functions (here, matrix power functions) can then be defined in a standard manner -- cf. e.g. nhigham.com/2020/06/09/what-is-a-matrix-function | |
| Nov 1, 2022 at 13:16 | review | Close votes | |||
| Nov 7, 2022 at 3:04 | |||||
| Nov 1, 2022 at 13:06 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 38 characters in body
|
| Nov 1, 2022 at 12:44 | answer | added | Iosif Pinelis | timeline score: 5 | |
| Nov 1, 2022 at 12:02 | comment | added | David Roberts♦ | What do you mean by 'operator' here? And then what does the power mean? | |
| S Nov 1, 2022 at 11:17 | review | First questions | |||
| Nov 1, 2022 at 13:47 | |||||
| S Nov 1, 2022 at 11:17 | history | asked | Jim | CC BY-SA 4.0 |