# Must an orthogonal diagonalizable endomorphism with real eigenvalues be self-adjoint?

Let $V$ be a nontrivial finitely-generated inner product space and let $\alpha\in \operatorname{End}{(V)}$ be orthogonally diagonalizable and satisfy the condition that each of its eigenvalues is real. Is $\alpha$ necessarily self-adjoint?

Let $\lambda_1,\dots,\lambda_n\in\mathbb{R}$ be distinct nonzero eigenvalues of $\alpha.$

I guess the answer is yes, since $\alpha$ has an orthogonal basis composed of its distinct eigenvectors, let's name this basis $B=\{v_1,\dots,v_n\}$, where $v_1,\dots,v_n$ are the distinct eigenvectors of $\alpha$ associated with the eigenvalues $\lambda_1,\dots,\lambda_n$. Given $0\neq v,\:w\in V$, there exist scalars $\alpha_1,\dots,\alpha_n$ and $\beta_1\dots,\beta_n$ not all of which equal $0$ satisfying $v=\sum_{i=1}^{n}\alpha_iv_i$ and $w=\sum_{i=0}^{n}\beta_iv_i$, Hence $$\langle\alpha(v),w\rangle=\langle \sum_{i=1}^{n}\alpha_i\alpha(v_i),w\rangle=\sum_{i=1}^n\alpha_i\bar\beta_i\langle\alpha(v_i),v_i\rangle=\sum_{i=1}^n\alpha_i\bar\beta_i\langle v_i,\alpha(v_i)\rangle=\langle v,\alpha(w\rangle).$$

So $\alpha$ is self-adjoint, however, it's not necessarily positive definite, since its eigenvalues are not necessarily positive. Am I correct?

Your solution makes sense - another, slightly more abstract approach is to note that if $\alpha$ is as you describe it, one can write
$$\alpha=U^*DU$$
with $U$ orthogonal and $D$ diagonal and real. Thus:
$$\alpha^*=(U^*DU)^*=U^{*}D^*U^{**}=U^*DU=\alpha.$$
{"ft_lang_label":"__label__en","ft_lang_prob":0.7384279,"math_prob":0.99991715,"size":1188,"snap":"2019-26-2019-30","text_gpt3_token_len":379,"char_repetition_ratio":0.14864865,"word_repetition_ratio":0.0,"special_character_ratio":0.2946128,"punctuation_ratio":0.14537445,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000081,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-07-17T19:11:18Z\",\"WARC-Record-ID\":\"<urn:uuid:2b3c4a45-0b77-40b3-b802-a00505706186>\",\"Content-Length\":\"140625\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:56531671-6dc0-4e6d-8236-a1198ea6cbd2>\",\"WARC-Concurrent-To\":\"<urn:uuid:8d37435a-0eba-4049-afae-14c7d25a54e3>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2078504/must-an-orthogonal-diagonalizable-endomorphism-with-real-eigenvalues-be-self-adj\",\"WARC-Payload-Digest\":\"sha1:54JJHBVOPVGCI72TMEYIFMRTP6MT4EXP\",\"WARC-Block-Digest\":\"sha1:ASDTJZFBLQ54SYMISUPKGUPQHYZ56YMJ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-30/CC-MAIN-2019-30_segments_1563195525374.43_warc_CC-MAIN-20190717181736-20190717203736-00350.warc.gz\"}"}