Wykres (matematyka)

Z Wikipedii

Wykres – sposób przedstawiania informacji, równań, formuł, relacji, funkcji i innych obiektów w matematyce i pokrewnych naukach jako podzbiorów pewnych iloczynów kartezjańskich.

Warto zauważyć, że z formalnego punktu widzenia wiele obiektów w matematyce jest identycznych (tożsamych) z ich wykresami (zob. izomorfizm). Często jednak obiekty te mają inne intuicyjne czy też historyczne definicje, wówczas rozważanie ich wykresów ma ważne znaczenie dydaktyczne (jest też krokiem wstępnym do formalizacji tychże pojęć). Sztandarowymi przykładami takich obiektów są wspomniane wcześniej relacje i funkcje.

[edytuj] Wykres równania

Przypuśćmy, że $R(x_1,\ldots,x_n)=0$ jest równaniem w liczbach rzeczywistych, którego zmienne są zawarte wśród $x_1,\ldots,x_2$ . Zbiór rozwiązań tego równania, to zbiór wszystkich entek uporządkowanych liczb rzeczywistych $(a_1,\ldots,a_n)\in {\mathbb R}^n$ które spełniają to równanie (czyli takich, że $R(a_1,\ldots,a_n)=0$ ). Zbiór wszystkich rozwiązań równania $R(x_1,\ldots,x_n)=0$ jest więc podzbiorem produktu kartezjańskiego ${\mathbb R}^n$ . Czasami zbiór ten jest nazywany wykresem równania.

Zatem wykresem równania $R(x_1,\ldots,x_n)=0$ jest zbiór $\{(a_1,\ldots,a_n)\in {\mathbb R}^n:R(a_1,\ldots,a_n)=0\}$ . W przypadku gdy mamy do czynienia tylko z dwiema lub trzema zmiennymi, to wykresy równań mogą reprezentować znajome obiekty geometryczne:

Konchoidy de Sluze dla różnych wartości parametru a

Wykresem równania $6 x + 7 y - 13 = 0$ (czyli zbiorem $\{(x,y)\in {\mathbb R}^2:6x+7y-13=0\}$ ) jest prosta przechodząca m.in. przez punkty $(1,1)$ i $( - 6,7)$ ;
wykresem równania $(x - 2) 2 + (y - 3) 2 - 16 = 0$ (czyli zbiorem $\{(x,y)\in {\mathbb R}^2:(x-2)^2+(y-3)^2-16=0\}$ ) jest okrąg o środku w punkcie $(2,3)$ i promieniu 4;
dla niezerowej liczby a, wykresem równania $(x - 1)(x 2 + y 2) = a x 2$ jest konchoida de Sluze.

[edytuj] Wykres relacji

Przypuśćmy, że ρ jest relacją n-członową na zbiorze X. Wówczas wykresem relacji ρ nazywamy zbiór $\{(a_1,\ldots,a_n)\in X^n: a_1,\ldots,a_n$ są w relacji $ρ}$ .

Należy zauważyć, że formalna definicja relacji jest właśnie taka, że relacja i jej wykres są tym samym.

Niech $ρ$ będzie relacją dwuczłonową na zbiorze liczb rzeczywistych daną przez warunek: "x jest mniejsze lub równe y", $x\,\rho\,y \iff x\leq y$ . Wówczas wykresem relacji $ρ$ jest zbiór $\{(x,y)\in {\mathbb R}^2:x\leq y\}$ , czyli (w kartezjańskim układzie współrzędnych) domknięta półpłaszczyzna powyżej prostej $y = x$ ;
niech $ρ'$ będzie relacją dwuczłonową na zbiorze liczb rzeczywistych daną przez warunek $(x-2)^2+(y-3)^2\leq 16$ . Wówczas wykresem relacji $ρ'$ w kartezjańskim układzie współrzędnych jest domknięte koło o środku w punkcie $(2,3)$ i promieniu 4.

[edytuj] Wykres funkcji

Zobacz więcej w osobnym artykule: wykres funkcji.

[edytuj] Wykres formuły

Przedstawione powyżej przykłady wykresów mają wspólne uogólnienie w języku teorii modeli. Przypuśćmy że τ jest alfabetem pewnego języka pierwszego rzędu ${\mathcal L}(\tau)$ . Przypuśćmy też że M jest modelem dla ${\mathcal L}(\tau)$ oraz $\varphi(x_1,\ldots,x_n)$ jest formułą w języku ${\mathcal L}(\tau)$ której zmienne wolne są zawarte wśród $x_1,\ldots,x_n$ . Wykresem formuły $\varphi$ w modelu M nazywamy zbiór

$\{(a_1,\ldots,a_n)\in M^n:{\bold M}\models\varphi[a_1,\ldots,a_n]\}$

gdzie M jest oznacza uniwersum modelu M.

Oczywiście, powyższa procedura może być zastosowana do innych języków (niekoniecznie pierwszego rzędu).

[edytuj] Zobacz też

2 tys. programistów pracuje nad Windows 7

Nad następcą Windows Vista pracuje 25 zespołów, z których każdy liczy sto osób. Jak donosi serwis Computerworld inżynierowie Microsoftu zajmują się równocześnie nad wszystkimi aspektami nowego systemu operacyjnego, począwszy od interfejsu użytkownika, aż po komunikację sieciową.

Karty Radeon HD 4600 już wkrótce

Już niedługo do sprzedaży trafią karty graficzne ATI z serii Radeon HD 4600.

Cordless Desktop Wave dla profesjonalistów

Firma Logitech, znany producent urządzeń peryferyjnych, zaprezentował swój najnowszy zestaw wskazujący - Cordless Desktop Wave Pro.

ICom PrestigeBook 8530 - niedrogi, a taki wydajny

Firma ICom wprowadza na rynek nowy komputer przenośny. Model PrestigeBook 8530 cechuje wysoka wydajność i niewygórowana cena, dzięki czemu jest on obiektem marzeń niejednego gracza.

Włamał się na konta swojego nauczyciela

Do trzech lat więzienia grozi uczniowi z Krosna, który włamał się na konta internetowe swojego nauczyciela – poinformował wczoraj serwis Wirtualne Media.

Linki: Strona g��wna

Encyklopedia