Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
real_logarithm [2016/02/10 14:55] nikolaj |
real_logarithm [2016/02/10 14:57] nikolaj |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| Consider | Consider | ||
| - | $\log_r(r^n/r^k) = \log_r(r^n) - \log_r(r^k) = n-k$ | + | $\log_r(r^n/r^1) = \log_r(r^{n-1}) = n - 1 = \log_r(r^n) - \log_r(r^1)$ |
| vs. | vs. | ||
| - | ${\mathrm {dim}}({\mathbb R}^n/{\mathbb R}^1) = {\mathrm {dim}}({\mathbb R}^{n-1}) = n-1 = {\mathrm {dim}}({\mathbb R}^n)-{\mathrm {dim}}({\mathbb R}^1)$ | + | ${\mathrm {dim}}({\mathbb R}^n/{\mathbb R}^1) = {\mathrm {dim}}({\mathbb R}^{n-1}) = n - 1 = {\mathrm {dim}}({\mathbb R}^n)-{\mathrm {dim}}({\mathbb R}^1)$ |
| === Theorems === | === Theorems === | ||
