Récurrence et Ordre Partiel

[Marillion]

Bonjour,
J'ai qqs petites questions:

1) Tout d'abord,
-Récurrence d'ordre 2. On note An=25^n+2^3n+4
Trouver a,b E Z tels que, quelque soit nEN An+2=a.(An+1)+b(An)
Bon, ici, je trouve a=33 et b=-200
Il s'agit de démontrer que An est divisible par 17 en le déduisant du résultat précédent.

2)(V(f,g)€(R^R)^2,f relation g équivaut à Vx€R, f(x) inférieure ou égale à g(x))
Montrer que cet ordre est partiel.
V pour quel que soit
R pour ensemble des réels (ici ensemble des applications de R dans R)

Merci d'avance pour vos conseils...

[tize]

Pour la première une simple récurrence suffit (à initialiser avec n=0 et n=1)..
Pour la deuxième j'aimerai bien t'aider mais c'est incompréhensible...si tu ne sais pas comment faire les symboles mathématiques (LATEX) écris-le en français...

[Marillion]

2) Quelques soient les fonctions g et f définies sur l'ensembles des applications de réels dans les réels, la relation qui lie f et g équivaut à: pour tout x appartenant aux réels , f(x) est inférieure ou égale à g(x).

Excuse-moi pour le manque de clarté précédent.

Il s'agit donc de montrer l'ordre partiel (on note la relation <<)

[tize]

et bien l'ordre est partiel parce que tu ne peut pas toujours comparer des fonctions... par exemple :
f(x)=x et g(x)=-x
on a ni f<