OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-learn commits / 7ef0bdd

One more step
7ef0bdd10d630362346aca64626b22da7e6e1e74
by Linas Vepštas <linasvepstas@gmail.com> · 2026-01-28T21:17:24.000Z

Changed files (1) +51 -5

learn-lang-diary/learn-lang-diary-part-ten-F.lyx +51 -5
……@@ -7261,20 +7261,66 @@ and solve it component by component.
72617261\end_layout
72627262
72637263\begin_layout Standard
7264So
7265\begin_inset Formula $0=\omega_{\;b}^{1}\wedge e^{b}$
7264So then
7265\begin_inset Formula
7266\begin{align*}
72670 & =de^{2}+\omega_{\;b}^{2}\wedge e^{b}\\
7268 & =de^{2}+\omega_{\;1}^{2}\wedge e^{1}+\omega_{\;2}^{2}\wedge e^{2}+\omega_{\;3}^{2}\wedge e^{3}\\
7269 & =\frac{1}{\lambda r}\left(\frac{1+r^{2}}{1-r^{2}}\right)e^{1}\wedge e^{2}+\omega_{\;1}^{2}\wedge e^{1}+\omega_{\;2}^{2}\wedge e^{2}+\omega_{\;3}^{2}\wedge e^{3}
7270\end{align*}
7271
72667272\end_inset
72677273
7268 means that
7274so conclude
7275\begin_inset Formula
7276\[
7277\omega_{\;1}^{2}=\frac{1}{\lambda r}\left(\frac{1+r^{2}}{1-r^{2}}\right)e^{2}
7278\]
7279
7280\end_inset
7281
7282
7283\end_layout
7284
7285\begin_layout Standard
7286The next one is
72697287\begin_inset Formula
72707288\begin{align*}
72710 & =\omega_{\;1}^{1}\wedge e^{1}+\omega_{\;2}^{1}\wedge e^{2}+\omega_{\;3}^{1}\wedge e^{3}\\
7272 & =
72890 & =de^{3}+\omega_{\;1}^{3}\wedge e^{1}+\omega_{\;2}^{3}\wedge e^{2}+\omega_{\;3}^{3}\wedge e^{3}\\
7290 & =\frac{1}{\lambda r}\left[\left(\frac{1+r^{2}}{1-r^{2}}\right)\;e^{1}\wedge e^{3}+\frac{\cos\theta}{\sin\theta}\;e^{2}\wedge e^{3}\right]+\omega_{\;1}^{3}\wedge e^{1}+\omega_{\;2}^{3}\wedge e^{2}+\omega_{\;3}^{3}\wedge e^{3}
72737291\end{align*}
72747292
72757293\end_inset
72767294
7295which gives
7296\begin_inset Formula
7297\[
7298\omega_{\;1}^{3}=\frac{1}{\lambda r}\left(\frac{1+r^{2}}{1-r^{2}}\right)e^{3}
7299\]
7300
7301\end_inset
7302
7303and
7304\begin_inset Formula
7305\[
7306\omega_{\;2}^{3}=\frac{1}{\lambda r}\cdot\frac{\cos\theta}{\sin\theta}e^{3}
7307\]
7308
7309\end_inset
7310
7311
7312\end_layout
7313
7314\begin_layout Standard
7315Finally
7316\begin_inset Formula $0=\omega_{\;b}^{1}\wedge e^{b}$
7317\end_inset
7318
7319 means that
7320\begin_inset Formula $0=\omega_{\;1}^{1}\wedge e^{1}+\omega_{\;2}^{1}\wedge e^{2}+\omega_{\;3}^{1}\wedge e^{3}$
7321\end_inset
72777322
7323 but this is trivially satisfied by the above results.
72787324\end_layout
72797325
72807326\begin_layout Paragraph*