Нужно же довести до ума идею со счетным кубом. Итак, у нас есть бесконечномерное пространство R^N, и борелевская сигма-алгебра на нем. На любом конечномерном пространстве вероятностная мера, равномерно распределенная в кубике, являющемся декартовым произведением отрезков [0, 1], строится легко (как произведение ребер). Далее, как заметил ramntry, существует и мера на R^N по теореме Колмогорова, согласованная* со всеми мерами на конечномерных пространствах. Есть куб [0, 1]^N.
Рассмотрим множество точек в этом кубе, имеющих хоть одну координату 0,5. Это множество вложено в объединение счетного количества цилиндров вида:
[0, 1] x 0,5 x [0, 1] x…
[0, 1] x [0, 1] x… x 0,5 x [0, 1] x…
…
Каждый такой цилиндр очевидно является событием в борелевской сигма-алгебре на R^N, следовательно их счетное объединение тоже событие в ней. Насколько я понимаю, основным свойством вероятностной меры является тот факт, что мера объединения не больше, чем сумма мер событий, но каждое из этих событий имеет меру 0 (т.к. имеет ребро нулевой длины). Следовательно, мера объединения тоже 0.
Является ли множество точек, имеющих координату 0,5, событием, черт знает, но это множество вложено в событие вероятности 0.
Такой вопрос, видел 3д-телевизор и несколько очков от него. Очки без элементов питания, очень простенькие, линзы обе бесцевтные (или слегка серые). Как ни совмещал линзы от разных очков друг с другом (каждую линзу с каждой, под всеми углами), не смог найти положение, в котором не мог бы видеть сквозь обе линзы. Почему так?
Да, но идея передавать везде все по копированию мне изначально не понравилась. Например, я создам одну гигантскую функцию и сотню маленьких, использующих ее. В моем случае гигансткая будет в одном экземпляре в коллекции, а в вашем, наверное, не в одном.
Сейчас вы скажете, что я совершенно не понимаю механизма всех этих штук, и я не возражу.
Да, это тот факт, с которым я смирился перед тем, как начать писать. Можно, конечно, создавать внешние классы для «цепочек» составления функций. Т.е., я решаю в программе какую-то задачу в созданном специально под эту задачу объекте, а потом удаляю его.
Выглядело бы это примерно так:
func_chain T1();
T1::func_t f = ...
...
Но всё равно со статической коллекцией, пусть не одной.
К сожалению, я не имею ни малейшего представления о shared_ptr.
Ну, преобразование «а — а => 0» работало бы только если это было бы одно и то же «а». Если это были бы разные экземпляры одной и той же мат. функции, выяснить такое мне не представляется возможным. Как и проверить, является ли произвольная функция нулем, чтобы сократить ее при сложении.
Рассмотрим множество точек в этом кубе, имеющих хоть одну координату 0,5. Это множество вложено в объединение счетного количества цилиндров вида:
[0, 1] x 0,5 x [0, 1] x…
[0, 1] x [0, 1] x… x 0,5 x [0, 1] x…
…
Каждый такой цилиндр очевидно является событием в борелевской сигма-алгебре на R^N, следовательно их счетное объединение тоже событие в ней. Насколько я понимаю, основным свойством вероятностной меры является тот факт, что мера объединения не больше, чем сумма мер событий, но каждое из этих событий имеет меру 0 (т.к. имеет ребро нулевой длины). Следовательно, мера объединения тоже 0.
Является ли множество точек, имеющих координату 0,5, событием, черт знает, но это множество вложено в событие вероятности 0.
Прошу прощения, но почему так?
Сейчас вы скажете, что я совершенно не понимаю механизма всех этих штук, и я не возражу.
Выглядело бы это примерно так:
Но всё равно со статической коллекцией, пусть не одной.
К сожалению, я не имею ни малейшего представления о shared_ptr.
Вот тут рантайм. А если go() возвращает A5, то всё в порядке.
=(