# Physically-indistinguishable mathematical states

… that’s not totally correct, because a macroscopic state, even in principle, cannot be a superposition of macroscopic eigenstates.

— Me@2012.12.31

.

A macrosopic state is an actual physical state.

A macrosopic state, by definition, cannot be a superposition of different macroscopic states. A superposition must be of different macroscopically-indistinguishable microscopic states.

In other words, a physical state, by definition, cannot be a superposition of different physically-distinguishable physical states. A superposition must be of different physically-indistinguishable mathematical states.

— Me@2022-05-17

.

.

2022.05.17 Tuesday (c) All rights reserved by ACHK

# 地獄篇 10.1.2

— Me@2011.10.05

.

Sharing knowledge is the most fundamental act of friendship. Because it is a way you can give something without loosing something.

— Richard Stallman

.

Name: Jimmy “Jimbo” Wales
Job: Founder, Wikipedia
Passion: Information for everyone
Turning Point: An operation that saved his daughter’s life taught him the need to stockpile rare knowledge such as her doctor’s

He wipes it off and begins haltingly.

“At the end of the procedure, I realized how precious the doctor’s knowledge was. It occurred to me that no one other than this doctor would ever know about this whole thing. There had to be a way.” And that is how Wikipedia came about.

— Daddy has Kira to Thank

— by Subroto Bagchi | Jun 5, 2009

.

.

2022.05.17 Tuesday ACHK

# 以右攻左

.

The whole notion of being “left wing” or “right wing” is silly.

Almost no one initially agrees with the semi-random collection of policies associated with each wing.

They only support those policies after they join the left or right mind tribe.

— 12:27 AM · May 13, 2022

— Elon Musk

.

「兼善天下」（大乘）這目標固然是好，但就大到執行不到。

「獨善其身」（小乘）這目標則執行得到，但是就小到，其實沒有大用。如果是僅是「小乘」而已，人生沒有多大意義。試想想，假如，你可以「獨善其身」，生活富足，但是沒有愛人，沒有朋友，你會被迫，思考人生的意義。

「被迫思考人生意義」，可以簡稱「抑鬱」。

「兼善天下」是最終目標，永不達到，但可以不斷走近。 「獨善其身」則是起點。千里之行，始於足下。沒有起點，就沒有旅程。

— Me@2022.05.16 06:48:36 PM

.

.

2022.05.16 Monday (c) All rights reserved by ACHK

# Watermelon

1990s, 19

.

(package-initialize)

(custom-set-variables
'(cua-mode t nil (cua-base))
'(custom-enabled-themes (quote (leuven))))
(custom-set-faces
)

(set-register ?e '(file . "~/.emacs"))

(prefer-coding-system 'utf-8)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defun backup-dot-emacs ()
(interactive)

(save-buffer)

(setq backup-path (format "%s%s%s"
"/path_to_the_backup_folder/ubuntu_dot_emacs_"
(format-time-string "%Y_%m_%d_%I_%M_%S_%p")
".el"))

(write-file backup-path 'confirm)

(setq original-cursor (point))

(kill-buffer)
(find-file "~/.emacs")

(goto-char original-cursor)
)

(global-set-key (kbd "C-") 'backup-dot-emacs)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;



(set-register ?d '(file . "/path_to_the_blog_folder/dialogue59.txt"))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defun backup-blogging-tray ()
(interactive)
(save-buffer)

(setq return-file-name (buffer-file-name))

(setq backup-path (format "%s%s%s"
"/path_to_the_backup_folder/blogging_tray_"
(format-time-string "%Y_%m_%d_%I_%M_%S_%p")
".txt"))

(write-file backup-path 'confirm)

(setq original-cursor (point))

(kill-buffer)

(find-file return-file-name)

(goto-char original-cursor)

)

(global-set-key (kbd "C-x C-a") 'backup-blogging-tray)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;


— Me@2022.05.14 05:10:49 PM

.

.

2022.05.14 Saturday (c) All rights reserved by ACHK

# Ex 1.25 Properties of Dt, 2

Structure and Interpretation of Classical Mechanics

.

Demonstrate that …

b. $\displaystyle{D_t (c F) = c D_t F}$

c. $\displaystyle{D_t (F G) = F D_t G + (D_t F) G}$

~~~

\displaystyle{ \begin{aligned} &D_t (c F) \circ \Gamma[q] (t) \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \partial_0 \left[c F(t, q, v, a, ...) \right] + \partial_1 \left[c F(t, q, v, a, ...) \right] v(t) + \partial_2 \left[c F(t, q, v, a, ...) \right] a(t) + ... \end{aligned} }

\displaystyle{ \begin{aligned} &= c \partial_0 F(t, q, v, a, ...) + c \partial_1 F(t, q, v, a, ...) v(t) + c \partial_2 F(t, q, v, a, ...) a(t) + ... \end{aligned} }

\displaystyle{ \begin{aligned} &= c \left[ \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ... \right] \end{aligned} }

\displaystyle{ \begin{aligned} &= c D_t F \circ \Gamma[q] (t) \\ \end{aligned} }

.

\displaystyle{ \begin{aligned} &D_t (FG) \circ \Gamma[q] (t) \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \partial_0 \left[ F(t, q, v, a, ...) G(t, q, v, a, ...) \right] \\ &+ \partial_1 \left[ F(t, q, v, a, ...) G(t, q, v, a, ...) \right] v(t) \\ &+ \partial_2 \left[ F(t, q, v, a, ...) G(t, q, v, a, ...) \right] a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) + F(t, q, v, a, ...) \partial_0 G(t, q, v, a, ...) \\ &+ \left\{ \left[ \partial_1 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) + F(t, q, v, a, ...) \partial_1 G(t, q, v, a, ...) \right\} v(t) \\ &+ \left\{ \left[ \partial_2 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) + F(t, q, v, a, ...) \partial_2 G(t, q, v, a, ...) \right\} a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) \\ &+ \left[ \partial_1 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) v(t) \\ &+ \left[ \partial_2 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) a(t) + ... \\ \\ &+ F(t, q, v, a, ...) \partial_0 G(t, q, v, a, ...) \\ &+ F(t, q, v, a, ...) \partial_1 G(t, q, v, a, ...) v(t) \\ &+ F(t, q, v, a, ...) \partial_2 G(t, q, v, a, ...) a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ... \right] G(t, q, v, a, ...) \\ &+ F(t, q, v, a, ...) \left[ \partial_0 G(t, q, v, a, ...) + \partial_1 G(t, q, v, a, ...) v(t) + \partial_2 G(t, q, v, a, ...) a(t) + ... \right] \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left\{ D_t F \circ \Gamma[q] (t) \right\} G(t, q, v, a, ...) + F(t, q, v, a, ...) D_t G \circ \Gamma[q] (t) \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left\{ D_t F \circ \Gamma[q] (t) \right\} G \circ \Gamma[q] (t) + F \circ \Gamma[q] (t) D_t G \circ \Gamma[q] (t) \\ \end{aligned} }

The meaning of $\displaystyle{\delta_\eta (fg)[q]}$ is

$\displaystyle{\delta_\eta (f[q]g[q])}$

\displaystyle{ \begin{aligned} &D_t (FG) \circ \Gamma[q] (t) \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left\{ D_t F \circ \Gamma[q] (t) \right\} G \circ \Gamma[q] (t) + F \circ \Gamma[q] (t) D_t G \circ \Gamma[q] (t) \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left[ (D_t F) G + F D_t G \right] \circ \Gamma[q] (t) \\ \end{aligned} }

.

\displaystyle{ \begin{aligned} D_t (FG) \circ \Gamma[q] (t) &= \left[ (D_t F) G + F D_t G \right] \circ \Gamma[q] (t) \\ \\ D_t (FG) &= (D_t F) G + F D_t G \\ \end{aligned} }

— Me@2022.05.12 07:02:30 PM

.

.

2022.05.14 Saturday (c) All rights reserved by ACHK

# The least of all evils, 9

.

Politics allows people to vote for the impossible, which may be one reason why politicians are often more popular than economists, who keep reminding people that there is no free lunch and that there are no “solutions” but only trade-offs.

— Thomas Sowell

.

.

2022.05.12 Thursday ACHK

# 難得有情人

.

— Me@2022-02-08 11:50:35 PM

「你是要找『條件最適合你』的人，如果你剛巧又，最適合她的話。」

.

Today I found my soulmate; she didn’t.

「你是要找『與感情最深』之人，如果你剛巧也是，『與她感情最深』之人。」

.

.

.

「情人」的重點在於情。

.

.

— Me@2022.05.11 07:07:43 PM

.

.

2022.05.12 Thursday (c) All rights reserved by ACHK

# 伏線驅動程式 1.5

.

.

— Me@2022-02-08 11:50:35 PM

「你是要找『條件最適合』的人，如果你剛巧又最適合她的話。」

.

— Me@2014.09.07

.

— Me@2022.05.10 05:23:26 PM

.

.

2022.05.11 Wednesday (c) All rights reserved by ACHK

# Junkions

output = system.exec_command("date +%Y.%m.%d")
output += " "
output += system.exec_command("date +%I:%M:%S")
output += " "
output += system.exec_command("date +%p")

clipboard.fill_clipboard(output.upper())
keyboard.send_keys("<ctrl>+v")


output = system.exec_command("date +%Y.%m.%d")
output += " "
output += system.exec_command("date +%A")
output += " (c) All rights reserved by "

clipboard.fill_clipboard(output)
keyboard.send_keys("<ctrl>+v")


.

output = system.exec_command("date +_%Y_%m_%d_")
output += system.exec_command("date +_%H_%M_%S_%p")

clipboard.fill_clipboard(output.upper())
keyboard.send_keys("<ctrl>+v")


— Me@2022.05.07 11:27:28 AM

.

.

2022.05.07 Saturday (c) All rights reserved by ACHK

# Quick Calculation 3.4

A First Course in String Theory

.

Show that

\displaystyle{ \begin{aligned} F^{\mu \nu} &= - F^{\nu \mu} \\ F^{0 i} &= - F_{0 i} \\ F^{ij} &= F_{ij} \\ \end{aligned} }

~~~

Eq. (3.15):

$\displaystyle{ F_{\mu \nu} \equiv \partial_\mu A_\nu - \partial_\nu A_\mu \\ }$

Eq. (3.29):

$\displaystyle{ F^{\mu \nu} = \eta^{\mu \alpha} \eta^{\nu \beta} F _{\alpha \beta} \\ }$

Eq. (3.16):

$\displaystyle{ F_{\mu \nu} = - F_{\nu \mu} \\ }$

.

\displaystyle{ \begin{aligned} F_{\mu \nu} &= - F_{\nu \mu} \\ \eta^{\mu \alpha} \eta^{\nu \beta} F_{\mu \nu} &= - \eta^{\mu \alpha} \eta^{\nu \beta} F_{\nu \mu} \\ \eta^{\mu \alpha} \eta^{\nu \beta} F_{\mu \nu} &= - \eta^{\nu \beta} \eta^{\mu \alpha} F_{\nu \mu} \\ F^{\mu \nu} &= - F^{\nu \mu} \\ \end{aligned} }

.

\displaystyle{ \begin{aligned} F^{\mu \nu} &= \eta^{\mu \alpha} \eta^{\nu \beta} F_{\alpha \beta} \\ F^{0 i} &= \eta^{0 \alpha} \eta^{i \beta} F _{\alpha \beta} \\ &= \eta^{0 0} \eta^{i \beta} F _{0 \beta} + \eta^{0 1} \eta^{i \beta} F _{1 \beta} + \eta^{0 2} \eta^{i \beta} F _{2 \beta} + \eta^{0 3} \eta^{i \beta} F _{3 \beta} \\ &= (-1) \eta^{i \beta} F _{0 \beta} + (0) \eta^{i \beta} F _{1 \beta} + (0) \eta^{i \beta} F _{2 \beta} + (0) \eta^{i \beta} F _{3 \beta} \\ &= (-1) \eta^{i \beta} F _{0 \beta} \\ &= - F _{0 i} \\ \end{aligned} }

.

\displaystyle{ \begin{aligned} F^{\mu \nu} &= \eta^{\mu \alpha} \eta^{\nu \beta} F_{\alpha \beta} \\ F^{i j} &= \eta^{i \alpha} \eta^{j \beta} F_{i j} \\ &= \sum_\alpha \sum_\beta \eta^{i \alpha} \eta^{j \beta} F_{\alpha \beta} \\ &= \sum_\beta \eta^{i i} \eta^{j \beta} F_{i \beta} \\ &= \eta^{i i} \eta^{j j} F_{i j} \\ &= (1) (1) F_{i j} \\ &= F_{i j} \\ \end{aligned} }

— Me@2022.05.05 07:49 PM

.

.

2022.05.06 Friday (c) All rights reserved by ACHK

# The Lisp debugger

oo101 7 days ago [-]

There are a few ways in which the shared objects method you suggest does not match the full power of Lisp debugging.

First of all, when a C program crashes, it just crashes. There is no REPL. There is only a core dump. So any live-debugging you plan to do is after the fact. After you have seen a crash, you would now begin to prepare for the next crash by launching your process via GDB or restarting your process and attaching a GDB to it. Whether a similar crash would occur again or not or when it would occur again depends on the nature of the bug. Now contrast this with Lisp debugging when your program crashes, it stops there and offers you an REPL to interact with the program right then. There is no need to wait for the next crash.

Secondly, when you debug with GDB, you would be dealing with syntaxes: The syntax of C that we are so familiar with. The GDB syntax to investigate the problem that we may be less familiar with. When the Lisp debugger offers the REPL to you, you are working with Lisp again. Your compiler, debugger, program, etc. all are part of the same unified environment where you just execute Lisp code to debug your issue.

Finally, putting your code in shared objects and reloading them requires you to go through the complete write-build-test-debug cycle. And then what do you do if your shared object itself crashes? With Lisp you skip the write-build-test part when all you want to do is debug an error. You jump straight to the debug part of the cycle and begin investigating the runtime state. And it works the same in a uniform manner whether your main program crashes or a dependency crashes.

— A Road to Common Lisp

— Hacker News

.

.

2022.05.05 Thursday ACHK

# 數學時間論 4

.

.

.

2022.05.04 Wednesday ACHK

# 數學教育 7.5.1

Genius 4.2.1 | A Fraction of Algebra, 2.1

.

.

（安：但是，這個講法可能有一個問題。

.

.

（安：去翻譯那些抽象數學概念，到其他範疇，或者日常生活。）

.

.

1. 對數學（及其他學問人生），有極大興趣；

2. 遇到合理的老師和書籍：

3. 極超大量的背誦和練習：

.

— Me@2022.05.02 11:48 PM

.

.

2022.05.03 Tuesday (c) All rights reserved by ACHK

# AutoKey

First photo, 3 | 1990, 3

.


output = system.exec_command("date +%Y.%m.%d")
keyboard.send_keys(output + " ")
output = system.exec_command("date +%I:%M")
keyboard.send_keys(output + " ")
output = system.exec_command("date +%p")
keyboard.send_keys(output)




output = system.exec_command("date +%Y.%m.%d")
keyboard.send_keys(output + " ")
output = system.exec_command("date +%A")
keyboard.send_keys(output)
output = " (c) All rights reserved by "
keyboard.send_keys(output)




output = system.exec_command("date +_%Y_%m_%d_")
keyboard.send_keys(output)
output = system.exec_command("date +_%H_%M_%S_%p")
keyboard.send_keys(output)

`

— Me@2022.04.28 09:04 AM

.

.

2022.04.28 Thursday (c) All rights reserved by ACHK

# Ex 1.25 Properties of Dt

Structure and Interpretation of Classical Mechanics

.

The total time derivative $\displaystyle{D_t F}$ is not the derivative of the function $\displaystyle{F}$. Nevertheless, the total time derivative shares many properties with the derivative. Demonstrate that $\displaystyle{D_t}$ has the following properties …

$\displaystyle{D_t (F + G) = D_t F + D_t G}$

~~~

Eq. (1.108):

$\displaystyle{ D(F \circ \Gamma[q]) = (DF\circ\Gamma[q])D\Gamma[q] }$

Eq. (1.109):

$\displaystyle{ DF \circ \Gamma[q] = \left[ \partial_0 F \circ \Gamma[q], \partial_1 F \circ \Gamma[q], \partial_2 F \circ \Gamma[q], ... \right] }$

Eq. (1.110):

$\displaystyle{ \left(D \Gamma[q] \right)(t) = \left( 1, Dq(t), D^2 q(t), ... \right) = \begin{bmatrix} 1 \\ Dq(t) \\ D^2 q(t) \\ ... \\ \end{bmatrix} \\ }$

.

\displaystyle{ \begin{aligned} D(F \circ \Gamma[q])(t) &= (DF\circ\Gamma[q])D\Gamma[q](t) \\ &= \left[ \partial_0 F \circ \Gamma[q], \partial_1 F \circ \Gamma[q], \partial_2 F \circ \Gamma[q], ... \right] \begin{bmatrix} 1 \\ Dq(t) \\ D^2 q(t) \\ ... \\ \end{bmatrix} \\ &= \partial_0 F \circ \Gamma[q] + \partial_1 F \circ \Gamma[q] D q(t) + \partial_2 F \circ \Gamma[q] D^2 q(t) + ... \\ &= \partial_0 F \circ \Gamma[q] u(t) + \partial_1 F \circ \Gamma[q] D q(t) + \partial_2 F \circ \Gamma[q] D^2 q(t) + ... \\ \end{aligned} },

where $\displaystyle{u(t) \equiv 1}$.

.

\displaystyle{ \begin{aligned} D(F \circ \Gamma[q]) &= \partial_0 F \circ \Gamma[q] u + \partial_1 F \circ \Gamma[q] D q + \partial_2 F \circ \Gamma[q] D^2 q + ... \\ &= \partial_0 F \circ \Gamma[q] J_0 \circ \Gamma[q] + \partial_1 F \circ \Gamma[q] J_1 \circ \Gamma[q] + \partial_2 F \circ \Gamma[q] J_2 \circ \Gamma[q] + ... \\ \end{aligned} }

where

\displaystyle{ \begin{aligned} I_0 \circ \Gamma[q] &= t \\ \\ I_{n>0} \circ \Gamma[q] &= I_{n>0} (t, q, v, a, ...) \\ &= I_{n>0} (t, q, Dq, D^2 q, ...) \\ &= D^{(n-1)} q \\ \\ J_{n} \circ \Gamma[q] &= D(I_n (t, q, v, a, ...)) \\ \end{aligned} }

.

The meaning of $\displaystyle{\delta_\eta (fg)[q]}$ is

$\displaystyle{\delta_\eta (f[q]g[q])}$

— Me@2019-04-27 07:02:38 PM

\displaystyle{ \begin{aligned} D(F \circ \Gamma[q]) &= \partial_0 F \circ \Gamma[q] J_0 \circ \Gamma[q] + \partial_1 F \circ \Gamma[q] J_1 \circ \Gamma[q] + \partial_2 F \circ \Gamma[q] J_2 \circ \Gamma[q] + ... \\ &= \left[(\partial_0 F) J_0 + (\partial_1 F) J_1 + (\partial_2 F) J_2 + ... \right] \circ \Gamma[q] \\ \end{aligned} }

.
Eq. (1.113):

$\displaystyle{ D_t F \circ \Gamma[q] = D(F \circ \Gamma[q]) }$

\displaystyle{ \begin{aligned} D_t F \circ \Gamma[q] &= \left[(\partial_0 F) J_0 + (\partial_1 F) J_1 + (\partial_2 F) J_2 + ... \right] \circ \Gamma[q] \\ \\ D_t F &= (\partial_0 F) J_0 + (\partial_1 F) J_1 + (\partial_2 F) J_2 + ... \\ \end{aligned} }

Eq. (1.114):

\displaystyle{ \begin{aligned} D_t F (t, q, v, a, ...) &= \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v + \partial_2 F(t, q, v, a, ...) a + ... \\ \end{aligned} }

.

\displaystyle{ \begin{aligned} D_t F \circ \Gamma[q] (t) &= \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &D_t (F + G) \circ \Gamma[q] (t) \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \partial_0 \left[F(t, q, v, a, ...) + G(t, q, v, a, ...)\right] \\ &+ \partial_1 \left[F(t, q, v, a, ...) + G(t, q, v, a, ...)\right] v(t) \\ &+ \partial_2 \left[F(t, q, v, a, ...) + G(t, q, v, a, ...)\right] a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) + \partial_0 G(t, q, v, a, ...)\right] \\ &+ \left[ \partial_1 F(t, q, v, a, ...) + \partial_1 G(t, q, v, a, ...)\right] v(t) \\ &+ \left[ \partial_2 F(t, q, v, a, ...) + \partial_2 G(t, q, v, a, ...)\right] a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ... \\ &+ \partial_0 G(t, q, v, a, ...) + \partial_1 G(t, q, v, a, ...) v(t) + \partial_2 G(t, q, v, a, ...) a(t) + ... \\ \end{aligned} }

\displaystyle{ \begin{aligned} &= D_t F \circ \Gamma[q] (t) + D_t G \circ \Gamma[q] (t) \\ \end{aligned} }

.

In short,

\displaystyle{ \begin{aligned} D_t (F + G) \circ \Gamma[q] (t) &= D_t F \circ \Gamma[q] (t) + D_t G \circ \Gamma[q] (t) \\ \end{aligned} }

So

\displaystyle{ \begin{aligned} D_t (F + G) \circ \Gamma[q] (t) &= (D_t F + D_t G) \circ \Gamma[q] (t) \\ \\ D_t (F + G) \circ \Gamma[q] &= (D_t F + D_t G) \circ \Gamma[q] \\ \\ D_t (F + G) &= D_t F + D_t G \\ \end{aligned} }

— Me@2022-04-20 11:42:52 AM

.

.

2022.04.21 Thursday (c) All rights reserved by ACHK

# Y Combinator, 2

arethuza 7 hours ago [-]

It’s over 30 years since I was taught about the Y combinator and I still find it amazing – it allows you to define recursion in a language which has no concept of recursion or named functions – such as λ-calculus.

The fact that you then define this in terms of amazingly simple functions like the S and K combinators just, in my opinion, adds to how wonderful it is.

— Why Y? Deriving the Y Combinator in JavaScript

— Hacker News

.

.

2022.04.19 Tuesday ACHK

# Jonny English, 2

A man without hope is a man without fear.

— Daredevil: Born Again

— Frank Miller

— Me@2016-04-09 09:49:28 PM

.

.

2022.04.19 Tuesday ACHK

Posted in OCD

# 相聚零刻 1.2.2

.

— 為什麽遇到喜歡的女生，千萬去表白！

— 楚兒戀愛說

.

— Me@2022-04-18 12:29:00 PM

.

.

2022.04.18 Monday (c) All rights reserved by ACHK

# Quick Calculation 3.3

A First Course in String Theory

.

Verify the equations in (3.26).

~~~

Eq. (3.26):

\displaystyle{ \begin{aligned} T_{\lambda \mu \nu} &= - T_{\mu \lambda \nu} \\ T_{\lambda \mu \nu} &= - T_{\lambda \nu \mu} \\ \end{aligned} }

.

\displaystyle{ \begin{aligned} T_{\lambda \mu \nu} &= \partial_\lambda F_{\mu \nu} + \partial_\mu F_{\nu \lambda} + \partial_\nu F_{\lambda \mu} \\ \end{aligned} }

\displaystyle{ \begin{aligned} T_{\mu \lambda \nu} &= \partial_\mu F_{\lambda \nu} + \partial_\lambda F_{\nu \mu} + \partial_\nu F_{\mu \lambda} \\ &= - \partial_\mu F_{\nu \lambda} - \partial_\lambda F_{\mu \nu} - \partial_\nu F_{\lambda \mu} \\ &= - T_{\lambda \mu \nu} \\ \end{aligned} }

— Me@2022-04-15 05:10:09 PM

.

.

2022.04.16 Saturday (c) All rights reserved by ACHK