А пожалуйста.
Соединяем их в соответствии с приведенными Вами формулами. Все получается.
А вообще, моя идея была в том, чтобы в арифметике положительных рациональных чисел в качестве “основных” выбрать иной набор операций, по сравнению с тем набором, который обычно выбирается. И сделать это для того, чтобы вскрыть объективно имеющуюся в системе положительных рациональных чисел внутреннюю симметрию, усмотреть и исследовать которую было бы труднее при “традиционном” наборе основных операций.
Фрагментарно я уже пытался поднять эту “электротехническую” тему, но здесь хотелось бы развить ее более систематически.
Свободный Художник писал(а):
... естественно расширить систему
![$\mathbf{Q^+_{\, 0,\: \infty}}$ $\mathbf{Q^+_{\, 0,\: \infty}}$](https://dxdy-04.korotkov.co.uk/f/3/5/6/356911e701efca4a104dd2dc962a512f82.png)
, заставив действовать на ее множестве-носителе
![$\mathrm{Q^+_{\, 0,\: \infty}} = \mathrm{Q^+} \cup \{0, \infty \}$ $\mathrm{Q^+_{\, 0,\: \infty}} = \mathrm{Q^+} \cup \{0, \infty \}$](https://dxdy-04.korotkov.co.uk/f/b/a/b/bab0360f09593f2518099bd7f866cd2482.png)
свободную полугруппу строк
![$\mathbf{S_{\, V,\: H}} =\: <\!\{V, H\}^+,\, \cdot >$ $\mathbf{S_{\, V,\: H}} =\: <\!\{V, H\}^+,\, \cdot >$](https://dxdy-03.korotkov.co.uk/f/6/b/c/6bca162be9c03da1dc33b34cb6d7e12482.png)
,
где
![$\{V, H\}^+$ $\{V, H\}^+$](https://dxdy-01.korotkov.co.uk/f/4/d/2/4d260d014d4dc7f9cf459b2488999b8c82.png)
есть множество всех строк в алфавите
![$\{V, H\}$ $\{V, H\}$](https://dxdy-02.korotkov.co.uk/f/1/6/5/165aab5ace464e5a84541b3115ba56a482.png)
,
![$\cdot$ $\cdot$](https://dxdy-03.korotkov.co.uk/f/2/1/1/211dca2f7e396e7b572b4982e8ab3d1982.png)
есть операция конкатенации строк (которую при записи термов будем, как правило, опускать).
Т. е. расширить систему
![$\mathbf{Q^+_{\, 0,\: \infty}}$ $\mathbf{Q^+_{\, 0,\: \infty}}$](https://dxdy-04.korotkov.co.uk/f/3/5/6/356911e701efca4a104dd2dc962a512f82.png)
до системы
![$\mathbf{SQ^+_{\, 0,\: \infty}} =\: <\!\mathbf{S_{\, V,\: H}} \,,\: \mathbf{Q^+_{\, 0,\: \infty}}\,, \: *\, >$ $\mathbf{SQ^+_{\, 0,\: \infty}} =\: <\!\mathbf{S_{\, V,\: H}} \,,\: \mathbf{Q^+_{\, 0,\: \infty}}\,, \: *\, >$](https://dxdy-03.korotkov.co.uk/f/a/3/9/a3970061304ea74cf8e677b57d34035482.png)
,
где
![$*$ $*$](https://dxdy-04.korotkov.co.uk/f/7/c/7/7c74eeb32158ff7c4f67d191b95450fb82.png)
есть операция “действия”:
для любых чисел
![$x, y$ $x, y$](https://dxdy-04.korotkov.co.uk/f/3/d/a/3da3fff6d8470c877cea225946d0766682.png)
, принадлежащих
![$\mathrm{Q^+_{\, 0,\: \infty}}$ $\mathrm{Q^+_{\, 0,\: \infty}}$](https://dxdy-01.korotkov.co.uk/f/4/3/a/43a9d0955585e5b4c2a475eb32e4f3b882.png)
и для любой строки
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
, принадлежащей
![$\{V, H\}^+$ $\{V, H\}^+$](https://dxdy-01.korotkov.co.uk/f/4/d/2/4d260d014d4dc7f9cf459b2488999b8c82.png)
,
запись
![$y = \varphi * x$ $y = \varphi * x$](https://dxdy-01.korotkov.co.uk/f/4/a/4/4a4d7f801d6e83f2851e1b8f499ffe0682.png)
означает, что число
![$y$ $y$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deceeaf6940a8c7a5a02373728002b0f82.png)
является результатом действия строки
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
на число
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
.
Смысл операции
![$*$ $*$](https://dxdy-04.korotkov.co.uk/f/7/c/7/7c74eeb32158ff7c4f67d191b95450fb82.png)
действия определяется смыслом определенных в предыдущих постах операторов
![$V$ $V$](https://dxdy-03.korotkov.co.uk/f/a/9/a/a9a3a4a202d80326bda413b5562d5cd182.png)
и
![$H$ $H$](https://dxdy-04.korotkov.co.uk/f/7/b/9/7b9a0316a2fcd7f01cfd556eedf72e9682.png)
; например, если
![$x = 2/3$ $x = 2/3$](https://dxdy-02.korotkov.co.uk/f/1/2/2/122fc34f478f000b48e74a8f8993933f82.png)
и
![$\varphi = HV$ $\varphi = HV$](https://dxdy-02.korotkov.co.uk/f/d/5/4/d54413e006019b86205b7fdbfbf88f3082.png)
, то
![$\varphi * x = HV*(2/3) = H(V(2/3)) = 7/5$ $\varphi * x = HV*(2/3) = H(V(2/3)) = 7/5$](https://dxdy-01.korotkov.co.uk/f/0/6/1/0615ff7421c03099de08e989d8637c4282.png)
.
Далее вместо
![$y = \varphi * x$ $y = \varphi * x$](https://dxdy-01.korotkov.co.uk/f/4/a/4/4a4d7f801d6e83f2851e1b8f499ffe0682.png)
будем также писать
![$y = \varphi(x)$ $y = \varphi(x)$](https://dxdy-04.korotkov.co.uk/f/b/6/e/b6ea4fb297178525b215f7afb9c0248982.png)
.
Двойственность в системе
![$\mathbf{SQ^+_{\, 0,\: \infty}}$ $\mathbf{SQ^+_{\, 0,\: \infty}}$](https://dxdy-01.korotkov.co.uk/f/4/1/7/4171530c3c0585775cc3921afa1e567f82.png)
(или в системе
![$\mathbf{SR^+_{\, 0,\: \infty}}$ $\mathbf{SR^+_{\, 0,\: \infty}}$](https://dxdy-02.korotkov.co.uk/f/1/b/9/1b9248565f29c7114f3f19a9aeedb26e82.png)
) естественно связать с двойственностью в электротехнике:
http://en.wikipedia.org/wiki/Duality_(electrical_circuits),
поскольку система
![$\mathbf{SQ^+_{\, 0,\: \infty}}$ $\mathbf{SQ^+_{\, 0,\: \infty}}$](https://dxdy-01.korotkov.co.uk/f/4/1/7/4171530c3c0585775cc3921afa1e567f82.png)
(или
![$\mathbf{SR^+_{\, 0,\: \infty}}$ $\mathbf{SR^+_{\, 0,\: \infty}}$](https://dxdy-02.korotkov.co.uk/f/1/b/9/1b9248565f29c7114f3f19a9aeedb26e82.png)
) допускает естественную “электротехническую” интерпретацию.
Действительно, отметим прежде всего, что система
![$\mathbf{SQ^+_{\, 0,\: \infty}}$ $\mathbf{SQ^+_{\, 0,\: \infty}}$](https://dxdy-01.korotkov.co.uk/f/4/1/7/4171530c3c0585775cc3921afa1e567f82.png)
-- это “двухсортная” система, в которой имеются объекты двух сортов: строки символов в алфавите
![$\{V, H\}$ $\{V, H\}$](https://dxdy-02.korotkov.co.uk/f/1/6/5/165aab5ace464e5a84541b3115ba56a482.png)
и числа из
![$\mathrm{Q^+_{\, 0,\: \infty}} = \mathrm{Q^+} \cup \{0, \infty \}$ $\mathrm{Q^+_{\, 0,\: \infty}} = \mathrm{Q^+} \cup \{0, \infty \}$](https://dxdy-04.korotkov.co.uk/f/b/a/b/bab0360f09593f2518099bd7f866cd2482.png)
(аналогично тому, как в векторных пространствах имеются объекты двух сортов: скаляры и векторы).
При электротехнической интерпретации мы интерпретируем строки символов в алфавите
![$\{V, H\}$ $\{V, H\}$](https://dxdy-02.korotkov.co.uk/f/1/6/5/165aab5ace464e5a84541b3115ba56a482.png)
как “четырехполюники”, а числа из
![$\mathrm{Q^+_{\, 0,\: \infty}} = \mathrm{Q^+} \cup \{0, \infty \}$ $\mathrm{Q^+_{\, 0,\: \infty}} = \mathrm{Q^+} \cup \{0, \infty \}$](https://dxdy-04.korotkov.co.uk/f/b/a/b/bab0360f09593f2518099bd7f866cd2482.png)
-- как “двухполюсники” (число
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
из
![$\mathrm{Q^+_{\, 0,\: \infty}}$ $\mathrm{Q^+_{\, 0,\: \infty}}$](https://dxdy-01.korotkov.co.uk/f/4/3/a/43a9d0955585e5b4c2a475eb32e4f3b882.png)
интерпретируется как сопротивление соответствующего двухполюсника, в частности,
![$0$ $0$](https://dxdy-03.korotkov.co.uk/f/2/9/6/29632a9bf827ce0200454dd32fc3be8282.png)
интерпретируется как двухполюсник короткого замыкания, а
![$\infty$ $\infty$](https://dxdy-04.korotkov.co.uk/f/f/7/a/f7a0f24dc1f54ce82fecccbbf48fca9382.png)
-- как двухполюсник холостого хода).
Операция
![$\bullet$ $\bullet$](https://dxdy-03.korotkov.co.uk/f/2/2/f/22fcde5697fb6ff191e860c19adb9cf682.png)
интерпретируется как операция последовательного соединения двухполюсников,
операция
![$\circ$ $\circ$](https://dxdy-01.korotkov.co.uk/f/c/0/4/c0463eeb4772bfde779c20d52901d01b82.png)
интерпретируется как операция параллельного соединения двухполюсников,
выражение
![$\varphi * x = \varphi(x)$ $\varphi * x = \varphi(x)$](https://dxdy-03.korotkov.co.uk/f/6/e/a/6ea6d04bf9d8c239cd1166b629dac5a682.png)
с фундаментальной для системы
![$\mathbf{SQ^+_{\, 0,\: \infty}}$ $\mathbf{SQ^+_{\, 0,\: \infty}}$](https://dxdy-01.korotkov.co.uk/f/4/1/7/4171530c3c0585775cc3921afa1e567f82.png)
операцией
![$*$ $*$](https://dxdy-04.korotkov.co.uk/f/7/c/7/7c74eeb32158ff7c4f67d191b95450fb82.png)
“действия” интерпретируется как четырехполюсник
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
, нагруженный на сопротивление
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
;
в частности
![$\varphi(0)$ $\varphi(0)$](https://dxdy-04.korotkov.co.uk/f/b/0/5/b0588b1963f67ef4162dda81f2af803382.png)
обозначает четырехполюсник
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
в режиме короткого замыкания, а выражение
![$\varphi(\infty)$ $\varphi(\infty)$](https://dxdy-01.korotkov.co.uk/f/c/4/b/c4b769d5fada74bb6899166b2dadc3fa82.png)
-- четырехполюсник
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
в режиме холостого хода.
-------------------------------
Оказывается, такого рода “алгебры двухполюсников и четырехполюсников” активно изучались:
Шестаков В. И. Алгебра двухполюсных схем, построенных исключительно из двухполюсников (алгебра А-схем)//Автоматика и телемеханика, 1941, № 2. — С. 15-24.
(об этой работе см.. в Бажанов В. А.
В.И. Шестаков и К. Шеннон. Разные судьбы творцов одной красивой идеи // Вопросы истории естествознания и техники, 2005, № 2. С. 112—121:
http://www.ulsu.ru/staff/homepages/bazhanov/russian/Viet_Shes05.pdf)
Телешев Юрий Владимирович
Алгебры пассивных двухполюсников:
http://ito.edu.ru/2000/II/3/391.html