Поможите, люди добрые ;)

Дан оператор следующего вида:

A: c0 -> c0
A(x_n) = x_{n+1} / n

(картинка для этого же самого: http://e-science.ru/1/mimetex.cgi?A(x_n)%20=%20\frac{x_{n+1}}{n})

Напомню, c0 - это множество сходящихся к нулю последовательностей в R или C (у нас C). Т.е. элементы множества - это _последовательности_.

Т.е., если наглядно, оператор переводит последовательность такого вида:

{x1, x2, ..., xn, ...}

(картинка: http://e-science.ru/1/mimetex.cgi?\{x_1,%20\,%20x_2,%20\,%20%20...,%20\,%20%20x_ n,%20\,%20...\})

в такую:

{x2, x3/2, x4/3, ..., x_{n+1} / n, ...}

(http://e-science.ru/1/mimetex.cgi?\{x_2,%20\,%20\frac{x_3}{2},%20\,%20\frac{x_4 }{3},%20\,%20...,%20\,%20\frac{x_{n+1}}{n},%20\,%20...\})

Нужно доказать компактность этого оператора (либо не-компактность).

По определению: оператор A, отображающий банахово пространство E в себя, называется _компактным_, если он каждое ограниченное множество переводит в предкомпактное.

Т.е. берём ограниченное множество из нашего c0, и действуем на него его оператором A. Должно получиться предкомпактное множество - это и нужно проверить.

Есть критерий предкомпактности в c0: Множество предкомпактно в c0 <=> оно равномерно ограничено и равностепенно непрерывно.

Равномерная ограниченность понятна - она в данном случае эквивалентна просто ограниченности.

Нужно показать равностепенную непрерывность.

На практике выводили следующий критерий для равностепенной непрерывности в c0 (доказательства не знаю, но вроде препод его не спрашивает :)):

Для любого эпсилон > 0 существует такое натуральное N, что для любых x из E, для любых натурельных n > N выполнено: |x_n| < эпсилон.

(http://e-science.ru/1/mimetex.cgi?\forall%20\epsilon%20%3E%200%20\:%20\exist%20 N%20\in%20\mathbb{N}%20\,%20:%20\,%20\forall%20x%20\in%20E%20\:%20\forall%20n%20 %3E%20N%20\:%20|x_n|%20%3C%20\epsilon)

Для нашего множества, на которое подействовали оператором A это будет выглядить так:

Для любого эпсилон > 0 существует такое натуральное N, что для любых x из E, для любых натурельных n > N выполнено: |x_{n+1} / n| < эпсилон.

Здесь E - это c0, x - элемент из c0 (т.е. последовательность), x_n - элементы последовательности x.

Вот на этом месте я застопорился :) Как доказывать равностепенную непрерывность?

Посоветуйте книжку по теории вероятностей :) Можно на английском.

В диаграммах зависимостей классов (и не только их) (которые в виде картинок рендерятся) рисуются кракозябры вместо нормальных английских надписей.

Чиво делать?

Gentoo, doxygen 1.4.7.

Gentoo.

Такая фигня: в _диаграммах_ рисуются кракозябры вместо нормальных английских надписей.

Вопрос: можно ли поменять свою фотку? Я попробовал, но в результате моя старая сжалась по вертикали (почему-то), а новой вообще не видать :))

Странные вещи творятся. Gentoo, текущая. Вчера всё работало, сегодня прихожу:

_XSERVTransSocketOpenCOTSServer: Unable to open socket for inet6
_XSERVTransOpen: transport open failed for inet6/tux:1
_XSERVTransMakeAllCOTSServerListeners: failed to open listener for inet6

X Window System Version 7.1.1
Release Date: 12 May 2006
X Protocol Version 11, Revision 0, Release 7.1.1
Build Operating System: Linux 2.6.18-gentoo-r3 i686 
Current Operating System: Linux tux 2.6.18-gentoo-r3 #4 PREEMPT Mon Dec 18 21:26:13 OMST 2006 i686
Build Date: 05 December 2006
        Before reporting problems, check http://wiki.x.org
        to make sure that you have the latest version.
Module Loader present
Markers: (--) probed, (**) from config file, (==) default setting,
        (++) from command line, (!!) notice, (II) informational,
        (WW) warning, (EE) error, (NI) not implemented, (??) unknown.
(==) Log file: "/var/log/Xorg.1.log", Time: Fri Dec 22 17:24:59 2006
(==) Using config file: "/etc/X11/xorg.conf"

(EE) NVIDIA(0): Failed to initialize the GLX module; please check in your X
(EE) NVIDIA(0):     log file that the GLX module has been loaded in your X
(EE) NVIDIA(0):     server, and that the module is the NVIDIA GLX module.  If
(EE) NVIDIA(0):     you continue to encounter problems, Please try
(EE) NVIDIA(0):     reinstalling the NVIDIA driver.
NVIDIA: could not open the device file /dev/nvidia0 (Input/output error).
(EE) NVIDIA(0): Failed to initialize the NVIDIA graphics device!
(EE) NVIDIA(0):  *** Aborting ***
(EE) Screen(s) found, but none have a usable configuration.

Fatal server error:
no screens found
XIO:  fatal IO error 104 (Connection reset by peer) on X server ":1.0"
      after 0 requests (0 known processed) with 0 events remaining.



Комп с того времени не перезагружался.
Если заменить driver на nv, то, само-собой всё грузится.

Чем слушать?

В оффтопике слушал просто через браузер, а тут.. хз :)

Такая штука - дома стоит Gentoo с портежами за июль этого года. Всё OK, шрифты отличные.
Поставил Gentoo на работе (из инета) - они какие-то ужасные.

Сравните скриншоты:
Старая: http://ivanzoid.ifastnet.com/tmp/Screenshots/LuxiMono.png
Новая: http://ivanzoid.ifastnet.com/tmp/Screenshots/LuxiMono-NewGentoo.png

Я помню, раньше, ещё во времена 10ой Слаки, нужно было руками пересобирать freetype с одним включенным defin'ом. Может опять такая фигня?

Товарищи! Вот такая фигня: Поставил свежую Gentoo. Настроил иксы. Вроде всё нормально. Решил понаставить всяких разных шрифтов, чтоб было по-красивее. После этого нету курсора мыши!! Т.е. курсор видимо есть, но он невидимый, т.е. если двигать мышкой и нажимать кнопки, то вылазиют всякие менюшки в разных местах и т.п.

Деустанавливать шрифты - в лом, да и не помню я их всех, а хистори не сохранилось ;)

Что предлагаете? :)

Народ! Хочу начать слушать Аквариум. Посоветуйте, какие альбомы лучшие :) (2-3)

Просто _всё_ качать неохота :)

В каком пакете находится библиотека libmm.so.13?
Её требует PHP при загрузке mod_php в Apache.

Поставил движок Drupal.org.

Открываю http://localhost/index.php
Там - первый шаг:
"1. Create your administrator account To begin, create the first account. This account will have full administration rights and will allow you to configure your website."

Тыкаю на сцылку "create the first account" = http://localhost/?q=user/register, а мне вываливается просто список файлов в http://localhost.

Чего не так? Может надо как-то Apache настроить? PHP стоит.

Ставлю на свой сервер (локальный) движок Drupal.org.

Там по ходу инсталляции надо выполнить команду:
> GRANT SELECT, INSERT, UPDATE, DELETE, CREATE, DROP, INDEX,
ALTER, CREATE TEMPORARY TABLES, LOCK TABLES
ON databasename.*
TO 'username'@'localhost' IDENTIFIED BY 'password';

На что мне MySQL говорит:
ERROR 1064: You have an error in your SQL syntax near 'TEMPORARY TABLES, LOCK TABLES
ON site.*
TO 'drupal'@localhost' at line.

Чиво делать?

Только не спрашивайте меня, почему такой дистрибутив. Так надо! :)))

Имеем:

root:/# mysql --user=root mysql
ERROR 1045: Access denied for user: 'root@localhost' (Using password: NO)

Чиво делать?
Только не пинайте за тупость & лень :)

Решил собрать свою Win32-прогу под Wine.

Вот текст:

***** main.cpp *****
#define _WIN32_WINNT 0x0501
#include <windows.h>
#include <cstdio>
#include "resource.h"

LRESULT CALLBACK WndProc(HWND, UINT, WPARAM, LPARAM);

HINSTANCE hInstance;
char szClassname[256];

enum Class {
    A,
    B,
    C
} cls;

WPARAM GlobalWparamForSendMsg;
UINT GlobalMsgForSendMsg;

BOOL CALLBACK EnumWindowsProc(HWND hWnd, LPARAM lParam)
{
    SendMessage(hWnd, GlobalMsgForSendMsg, GlobalWparamForSendMsg, lParam);

    return TRUE;
}

void SendMessageToAllWindows(UINT uMsg, WPARAM wParam, LPARAM lParam)
{
    GlobalWparamForSendMsg = wParam;
    GlobalMsgForSendMsg = uMsg;

    EnumWindows(EnumWindowsProc, lParam);
}

int WINAPI WinMain(
    HINSTANCE hInst,
    HINSTANCE hPrevInst,
    PSTR szCmdLine,
    int nShowCmd)
{
    if (strcmp(szCmdLine, "A") == 0) {
        cls = A;
    } else if (strcmp(szCmdLine, "B") == 0) {
        cls = B;
    } else if (strcmp(szCmdLine, "C") == 0) {
        cls = C;
    } else {
        MessageBox(NULL, "Invalid class specified in command-line! Must be either A, B or C.", "Error!", MB_ICONERROR);
        return 1;
    }

    char szWindowName[128];
    sprintf(szWindowName, "Class %s", szCmdLine);
    strcpy(szClassname, szCmdLine);

    hInstance = hInst;

    WNDCLASSEX wc;

    wc.cbSize = sizeof(wc);
    wc.style = CS_HREDRAW | CS_VREDRAW | CS_DBLCLKS;
    wc.lpfnWndProc = WndProc;
    wc.cbClsExtra = 0;
    wc.cbWndExtra = 0;
    wc.hInstance = hInst;
    wc.hIcon = NULL;
    wc.hCursor = LoadCursor(NULL, IDC_ARROW);
    wc.hbrBackground = reinterpret_cast<HBRUSH>(COLOR_WINDOW);
    wc.lpszMenuName = MAKEINTRESOURCE(IDR_MENU1);
    wc.lpszClassName = szCmdLine;
    wc.hIconSm = NULL;

    ATOM Status = RegisterClassEx(&wc);

    HWND hWnd;

    hWnd = CreateWindow(
        szCmdLine,
        szWindowName,
        WS_OVERLAPPEDWINDOW,
        CW_USEDEFAULT,
        CW_USEDEFAULT,
        400,
        300,
        NULL,
        NULL,
        hInst,
        NULL
    );

    ShowWindow(hWnd, nShowCmd);
    UpdateWindow(hWnd);

    MSG msg;

    while (GetMessage(&msg, NULL, 0, 0))
    {
        TranslateMessage(&msg);
        DispatchMessage(&msg);
    }

    return static_cast<int>(msg.wParam);
}

Настроил голубой зуб, телефон определяется, пингуется.

Наваял два файлега:

*** /etc/ppp/peers/gprs: *** /dev/rfcomm0 57600 connect '/usr/sbin/chat -v -f /etc/chatscripts/gprs' noauth defaultroute debug

*** /etc/chatscripts/gprs: *** TIMEOUT 5 ECHO ON ABORT '\nBUSY\r' ABORT '\nERROR\r' ABORT '\nNO ANSWER\r' ABORT '\nNO CARRIER\r' ABORT '\nNO DIALTONE\r' ABORT '\nRINGING\r\n\r\nRINGING\r' '' \rAT TIMEOUT 12 OK ATE1 OK 'AT+CGDCONT=1,"IP","internet.beeline.ru"' OK ATD*99***1#

Пишу: # pppd call gprs - и нифига не происходит! Pppd даже нету в списке процессов.

Чего делать?

В пакетах нах. следющие проги: ifconfig Esetroot.

Всё :)

При выборе XkbLayout "ru" ставится какая-то странная раскладка: символ '.' стоит на Shift+7, ',' на Shift+6 и т.п. Неудобно! Как сделать по-обычному?

Субжж. :)

Хотелось бы сцылку на какую-нить умную статью, где было бы расписано, как, что почему она такая всё-таки вредная :)

Фигня какае-то.

Собрал ядро с поддержкой bluetooth (вообще всё повключал), воткнул блютус-девайс, включил bluetooth на телефоне, пишу: # hcitool scan Отвечаит: Device is not available: No such device

И чиво делать?